Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

AuthID: I-000-1RA

External   Internal

Publications Count: 1277

43 Team Members
Filters -> Year: 2026
1121
TITLE: Replica - A proposal for a federated academic repository
AUTHORS: Kaufmann, M; Figueira, ÁR ;
PUBLISHED: 2007, SOURCE: 2007 IADIS International Conference e-Learning, EL 2007 - Part of the 1st IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007 in Proceedings of the IADIS International Conference e-Learning, EL 2007 - Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007, VOLUME: 2, PAGES: 121-125
1122
TITLE: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTHORS: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; Labra, J; Fiadeiro, JL; Figueiredo, L; Barbosa, LS ; Menezes, LC; Maia, M; De Valente, MTO; Bigonha, MAS; Benton, N; Rodriguez, N; Borba, P; Mosses, PD; Lins, RD; Cerqueira, R; Lima, RM; Ierusalimschy, R; Rigo, S; De Schneider, SM; Soares, S; Dascalu, S; Thompson, S; Vene, V; Costa, V ; Iorio, VD; ...More
PUBLISHED: 2007, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6, PAGES: 679-679
1123
TITLE: Storage and retrieval on P2P networks: A DHT based protocol
AUTHORS: Bessa, S; Correia, ME ; Brandao, P ;
PUBLISHED: 2007, SOURCE: 12th IEEE Symposium on Computers and Communications in 2007 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, PAGES: 829-835
1124
TITLE: SWORDFISH: an autonomous surface vehicle for network centric operations
AUTHORS: Ferreira, H ; Martins, R; Marques, E ; Pinto, J ; Martins, A ; Almeida, J ; Sousa, J ; Silva, EP ;
PUBLISHED: 2007, SOURCE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3, PAGES: 1470-+
1125
TITLE: Ubiquitous access through the integration of mobile ad-hoc networks
AUTHORS: Sargento, S ; Sarro, R; Duarte, R; Stupar, P; Gallera, F; Natkaniec, M; Vilela, JP ; Barros, J ;
PUBLISHED: 2007, SOURCE: 16th IST Mobile and Wireless Communications in 2007 PROCEEDINGS OF THE 16TH IST MOBILE AND WIRELESS COMMUNICATIONS, VOLS 1-3, PAGES: 1072-1077
1126
TITLE: A Calculus for Sensor Networks
AUTHORS: Miguel S Silva; Francisco Martins; Luís M B Lopes ; João Barros;
PUBLISHED: 2006, SOURCE: CoRR, VOLUME: abs/cs/0612093
1127
TITLE: A mobile agent service-oriented scripting language encoded on a process calculus
AUTHORS: Paulino, H ; Lopes, L ;
PUBLISHED: 2006, SOURCE: 7th Joint Modular Languages Conference (JMLC 2006) in MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, VOLUME: 4228, PAGES: 383-402
1128
TITLE: A pipelined data-parallel algorithm for ILP
AUTHORS: Fonseca, NA ; Silva, F ; Costa, VS ; Camacho, R ;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Cluster Computing in 2005 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), PAGES: 253-262
1129
TITLE: A service-oriented language for programming mobile agents
AUTHORS: Hervé Paulino ; Luís M B Lopes ;
PUBLISHED: 2006, SOURCE: AAMAS, VOLUME: 2006, PAGES: 1294-1296
1130
TITLE: An external module for implementing linear tabling in prolog (Extended abstract)
AUTHORS: Silva, C; Rocha, R ; Lopes, R ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079, PAGES: 429-430
1131
TITLE: April - An inductive logic programming system
AUTHORS: Fonseca, NA ; Silva, F ; Camacho, R ;
PUBLISHED: 2006, SOURCE: 10th European Conference on Logics in Artificial Intelligence in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4160, PAGES: 481-484
1132
TITLE: Generic cut actions for external Prolog predicates
AUTHORS: Soares, T; Rocha, R ; Ferreira, M ;
PUBLISHED: 2006, SOURCE: 8th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3819, PAGES: 16-30
1133
TITLE: Handling incomplete and complete tables in tabled logic programs (Extended abstract)
AUTHORS: Ricardo Rocha ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079, PAGES: 427-428
1134
TITLE: Logtalk processing of STEP Part 21 files
AUTHORS: Moura, P ; Marchetti, V;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079, PAGES: 453-454
1135
TITLE: Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: J. Univers. Comput. Sci., VOLUME: 12, ISSUE: 7, PAGES: 788-810
1136
TITLE: PFORTE: Revising Probabilistic FOL Theories
AUTHORS: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: IBERAMIA-SBIA, VOLUME: 4140 LNAI, PAGES: 441-450
1137
1138
TITLE: Simple and effective classifiers to model biological data
AUTHORS: Salvini, RL; Dutra, IC ; Morelli, VA;
PUBLISHED: 2006, SOURCE: BIOMAT 2005, PAGES: 379-394
1139
TITLE: The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: ICLP, VOLUME: 4079 LNCS, PAGES: 461-462
1140
TITLE: The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: J. Univers. Comput. Sci., VOLUME: 12, ISSUE: 7, PAGES: 764-787

Results per Page: 20.
Page 57 of 64. Total results: 1277.