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
1081
TITLE: Multicast deflector - Secure video distribution system. Secure video distribution system
AUTHORS: Pinto, A ; Ricardo, M ;
PUBLISHED: 2008, SOURCE: TELECOMMUNICATION SYSTEMS, VOLUME: 37, ISSUE: 4, PAGES: 145-156
1082
TITLE: On the Efficient Execution of ProbLog Programs
AUTHORS: Kimmig, A; Costa, VS ; Rocha, R ; Demoen, B; De Raedt, L;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 175-+
1083
TITLE: Personal Autonomic Desktop Manager with a circulatory computing approach
AUTHORS: Alberto Arkader Kopiler; Ines de Castro Dutra ; Felipe M G Franca;
PUBLISHED: 2008, SOURCE: 5th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems in PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL WORKSHOP ON ENGINEERING OF AUTONOMIC & AUTONOMOUS SYSTEMS (EASE 2008), PAGES: 119-127
1084
TITLE: Resource Management and Signalling Architecture of a Hybrid Multicast Service for Multimedia Distribution
AUTHORS: Borcoci, E; Pinto, A ; Mehaoua, A; Fang, L; Wang, N;
PUBLISHED: 2008, SOURCE: 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services in MANAGEMENT OF CONVERGED MULTIMEDIA NETWORKS AND SERVICES, PROCEEDINGS, VOLUME: 5274, PAGES: 39-51
1085
TITLE: Revising first-order logic theories from examples through stochastic local search
AUTHORS: Paes, A; Zaverucha, G; Costa, VS ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 200-+
1086
TITLE: RL-based Scheduling Strategies in Actual Grid Environments
AUTHORS: Costa, B; Dutra, I ; Mattoso, M;
PUBLISHED: 2008, SOURCE: IEEE International Symposium on Parallel and Distributed Processing with Applications in PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PAGES: 572-+
1087
TITLE: RUSE-WARMR: Rule Selection for Classifier Induction in Multi-Relational Data-Sets
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1, PAGES: 379-+
1088
TITLE: SECURING A HEALTH INFORMATION SYSTEM WITH A GOVERNMENT ISSUED DIGITAL IDENTIFICATION CARD
AUTHORS: Santos, R ; Correia, ME ; Antunes, L ;
PUBLISHED: 2008, SOURCE: 42nd Annual IEEE International Carnahan Conference on Security Technology in 42ND ANNUAL 2008 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS, PAGES: 135-+
1089
TITLE: The Life of a Logic Programming System
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 1-6
1090
TITLE: The Mob core language and abstract machine (rev 0.2)
AUTHORS: Hervé Paulino ; Luís M B Lopes ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.4451
1091
TITLE: Thread-Based Competitive Or-Parallelism
AUTHORS: Moura, P ; Rocha, R ; Madeira, SC ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-+
1092
TITLE: Towards Typed Prolog
AUTHORS: Schrijvers, T; Costa, VS ; Wielemaker, J; Demoen, B;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-+
1093
TITLE: Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations
AUTHORS: Marzulo, LAJ; França, FMG; Costa, VS ;
PUBLISHED: 2008, SOURCE: 20th International Symposium on Computer Architecture and High Performance Computing in 20TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 183-+
1094
TITLE: Work in Progress - iGraphs for Characterization of Online Communities
AUTHORS: Alvaro Figueira ; Joanne Laranjeiro;
PUBLISHED: 2008, SOURCE: IEEE Frontiers in Education Conference 2008 in FIE: 2008 IEEE FRONTIERS IN EDUCATION CONFERENCE, VOLS 1-3, PAGES: 1033-1034
1095
TITLE: A feedback reputation mechanism to secure the optimized link state routing protocol
AUTHORS: Joao P Vilela ; Joao Barros ;
PUBLISHED: 2007, SOURCE: 3rd International Conference o Security and Privacy in Communication Networks and Workshops in 2007 THIRD INTERNATIONAL CONFERENCE ON SECURITY AND PRIVACY IN COMMUNICATION NETWORKS AND WORKSHOPS, PAGES: 294-303
1096
TITLE: A process calculus approach to sensor network programming
AUTHORS: Lopes, L ; Martins, F ; Silva, MS; Barros, J ;
PUBLISHED: 2007, SOURCE: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007 in 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings, PAGES: 451-456
1097
TITLE: A study of structural properties on profiles HMMs
AUTHORS: Juliana S Bernardes; Alberto M R Dávila; Vítor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/0704.2010
1098
TITLE: An autonomous hybrid robot system to navigate through unknown maze environments
AUTHORS: Pedro Ribeiro ;
PUBLISHED: 2007, SOURCE: 11th IASTED International Conference on Artificial Intelligence and Soft Computing in PROCEDINGS OF THE 11TH IASTED INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PAGES: 274-279
1099
TITLE: An integrated approach to feature invention and model construction for drug activity prediction
AUTHORS: Jesse Davis; Vítor Santos Costa ; Soumya Ray; David Page;
PUBLISHED: 2007, SOURCE: ICML, VOLUME: 227, PAGES: 217-224
1100
TITLE: Automatic constraint partitioning to speed up CLP execution
AUTHORS: Pereira, MR; Vargas, PK; de Castro, MCS; França, FMG; Dutra, ID ;
PUBLISHED: 2007, SOURCE: 19th International Symposium on Computer Architecture and High Performance Computing in 19TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 271-+

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