@inproceedings{conf/asm/DeharbeGM08, title = {BSmart: A Tool for the Development of Java Card Applications with the B Method.}, author = {David Déharbe and Bruno Emerson Gurgel Gomes and Anamaria Martins Moreira}, booktitle = {ABZ}, crossref = {conf/asm/2008}, editor = {Egon Börger and Michael Butler and Jonathan P. Bowen and Paul Boca}, pages = {351-352}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2008.html#DeharbeGM08}, volume = {5238}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2beaab145c997218badc749ec6fe2cb38/dblp}, description = {dblp}, date = {2008-09-26}, ee = {http://dx.doi.org/10.1007/978-3-540-87603-8_39}, isbn = {978-3-540-87602-1}, keywords = {dblp } } @inproceedings{conf/seke/AlferezKSSMAA08, title = {A Model-driven Approach for Software Product Lines Requirements Engineering.}, author = {Mauricio Alferez and Uirá Kulesza and Andre Sousa and Joao Santos and Ana Moreira and João Araújo and Vasco Amaral}, booktitle = {SEKE}, crossref = {conf/seke/2008}, pages = {779-784}, publisher = {Knowledge Systems Institute Graduate School}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2008.html#AlferezKSSMAA08}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/29d5109bf12527fbd6a78e4b4fba1c6fa/dblp}, description = {dblp}, isbn = {1-891706-22-5}, date = {2008-09-15}, keywords = {dblp } } @inproceedings{conf/cse/MirandaXS08, title = {TIGRAS: A Topology-Independent Gradient Search Approach for Peer-to-Peer Key Look Up.}, author = {Mutaleci Miranda and Geraldo Xexéo and Jano Moreira de Souza}, booktitle = {CSE}, crossref = {conf/cse/2008}, pages = {197-202}, publisher = {IEEE Computer Society}, url = {http://dblp.uni-trier.de/db/conf/cse/cse2008.html#MirandaXS08}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/220e9137362d94a3522f33051ceec1802/dblp}, description = {dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSE.2008.62}, isbn = {978-0-7695-3193-9}, date = {2008-09-12}, keywords = {dblp } } @inproceedings{conf/seke/SilvaAAMC08, title = {Tailoring an Aspectual Goal-oriented Approach to Model Features.}, author = {Carla Silva and Fernanda M. R. Alencar and Joao Araujo and Ana Moreira and Jaelson Brelaz de Castro}, booktitle = {SEKE}, crossref = {conf/seke/2008}, pages = {472-477}, publisher = {Knowledge Systems Institute Graduate School}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2008.html#SilvaAAMC08}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2216d0309b7dd433ebc645eadd4c5b082/dblp}, description = {dblp}, isbn = {1-891706-22-5}, date = {2008-09-12}, keywords = {dblp } } @inproceedings{conf/seke/TabaresAMAA08, title = {Traceability Models to Control an Aspectual Model-driven Development.}, author = {Marta S. Tabares and Raquel Anaya and Ana Moreira and João Araújo and Fernando Arango}, booktitle = {SEKE}, crossref = {conf/seke/2008}, pages = {399-404}, publisher = {Knowledge Systems Institute Graduate School}, url = {http://dblp.uni-trier.de/db/conf/seke/seke2008.html#TabaresAMAA08}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2fafbe4779f997109f8e37ee05d54dad6/dblp}, description = {dblp}, isbn = {1-891706-22-5}, date = {2008-09-12}, keywords = {dblp } } @inproceedings{conf/icdim/MoreiraCCHMV07, title = {Exploiting contextual handover information for versatile services in NGN environments.}, author = {Edson dos Santos Moreira and David N. Cottingham and Jon Crowcroft and Pan Hui and Glenford E. Mapp and Renata M. P. Vanni}, booktitle = {ICDIM}, crossref = {conf/icdim/2007}, pages = {506-512}, publisher = {IEEE}, url = {http://dblp.uni-trier.de/db/conf/icdim/icdim2007.html#MoreiraCCHMV07}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2115f83959b85f8e557585f46a3d51472/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1109/ICDIM.2007.4444273}, date = {2008-09-10}, keywords = {dblp } } @incollection{series/sci/MarzulloPSSB08, title = {An MDA Approach for Database Profiling and Performance Assessment.}, author = {Fabio Perez Marzullo and Rodrigo Novo Porto and Geraldo Zimbrão da Silva and Jano Moreira de Souza and José Roberto Blaschek}, booktitle = {Computer and Information Science}, crossref = {series/sci/2008-131}, editor = {Roger Y. Lee and Haeng-Kon Kim}, pages = {1-10}, publisher = {Springer}, series = {Studies in Computational Intelligence}, url = {http://dblp.uni-trier.de/db/series/sci/sci131.html#MarzulloPSSB08}, volume = {131}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/231e2b96b7b647f31dd9a21685bfe08ae/dblp}, description = {dblp}, date = {2008-08-26}, ee = {http://dx.doi.org/10.1007/978-3-540-79187-4_1}, isbn = {978-3-540-79186-7}, keywords = {dblp } } @incollection{series/sci/BernardinoBSPV08, title = {A Genetic Algorithm with Multiple Operators for Solving the Terminal Assignment Problem.}, author = {Eugénia Moreira Bernardino and Anabela Moreira Bernardino and Juan Manuel Sánchez-Pérez and Juan Antonio Gómez Pulido and Miguel A. Vega-Rodríguez}, booktitle = {New Challenges in Applied Intelligence Technologies}, crossref = {series/sci/2008-134}, editor = {Ngoc Thanh Nguyen and Radoslaw Katarzyniak}, pages = {279-288}, publisher = {Springer}, series = {Studies in Computational Intelligence}, url = {http://dblp.uni-trier.de/db/series/sci/sci134.html#BernardinoBSPV08}, volume = {134}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/268e2fabbbcf7865f0240613a778c43eb/dblp}, description = {dblp}, date = {2008-08-26}, ee = {http://dx.doi.org/10.1007/978-3-540-79355-7_27}, isbn = {978-3-540-79354-0}, keywords = {dblp } } @inproceedings{conf/sc/BlocksomeAIMMRSSACLMKTN06, title = {Blue Gene system software - Design and implementation of a one-sided communication interface for the IBM eServer Blue Gene® supercomputer.}, author = {Michael Blocksome and Charles Archer and Todd Inglett and Patrick McCarthy and Michael Mundy and Joe Ratterman and A. Sidelnik and Brian E. Smith and George Almási and José G. Castaños and Derek Lieber and José E. Moreira and Sriram Krishnamoorthy and Vinod Tipparaju and Jarek Nieplocha}, booktitle = {SC}, crossref = {conf/sc/2006}, pages = {120}, publisher = {ACM Press}, url = {http://dblp.uni-trier.de/db/conf/sc/sc2006.html#BlocksomeAIMMRSSACLMKTN06}, year = {2006}, biburl = {http://www.bibsonomy.org/bibtex/257aef7ef3e30c81767b288ff162ebb6a/dblp}, description = {dblp}, ee = {http://doi.acm.org/10.1145/1188455.1188580}, isbn = {0-7695-2700-0}, date = {2008-08-20}, keywords = {dblp } } @inproceedings{conf/cf/ThorsenSSJLPF07, title = {Parallel genomic sequence-search on a massively parallel system.}, author = {Oystein Thorsen and Brian E. Smith and Carlos P. Sosa and Karl Jiang and Heshan Lin and Amanda E. Peters and Wu chun Feng}, booktitle = {Conf. Computing Frontiers}, crossref = {conf/cf/2007}, editor = {Utpal Banerjee and José Moreira and Michel Dubois and Per Stenström}, pages = {59-68}, publisher = {ACM}, url = {http://dblp.uni-trier.de/db/conf/cf/cf2007.html#ThorsenSSJLPF07}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/26c87646a3ecad1b3744c965946116baa/dblp}, description = {dblp}, date = {2008-08-20}, ee = {http://doi.acm.org/10.1145/1242531.1242542}, isbn = {978-1-59593-683-7}, keywords = {dblp } }