61
TITLE: Using Constraints for Intrusion Detection: The NeMODe System  Full Text
AUTHORS: Pedro Salgueiro; Daniel Diaz; Isabel Brito ; Salvador Abreu ;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539
INDEXED IN: Scopus WOS DBLP CrossRef
62
TITLE: A DSL for intrusion detection based on Constraint Programming
AUTHORS: Salgueiro, PD; Abreu, SP ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Security of Information and Networks, SIN 2010 in SIN'10 - Proceedings of the 3rd International Conference of Security of Information and Networks
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
63
TITLE: Casting of the WAM as an EAM PDF
AUTHORS: Paulo André ; Salvador Abreu ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3806
INDEXED IN: DBLP arXiv
IN MY: DBLP
64
TITLE: Casting of the WAM as an EAM
AUTHORS: Andre, P; Abreu, S ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010
INDEXED IN: Scopus
IN MY: ORCID
65
TITLE: Distributed work stealing for constraint solving PDF
AUTHORS: Pedro, V ; Abreu, S ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010, VOLUME: abs/1009.3800
INDEXED IN: Scopus DBLP arXiv
IN MY: ORCID | DBLP
66
TITLE: On the Implementation of GNU Prolog PDF
AUTHORS: Daniel Diaz; Salvador Abreu ; Philippe Codognet;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1012.2496
INDEXED IN: DBLP arXiv
IN MY: DBLP
67
TITLE: Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture
AUTHORS: Daniel Diaz; Salvador Abreu ; Philippe Codognet;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Intelligent Distributed Computing in INTELLIGENT DISTRIBUTED COMPUTING IV, VOLUME: 315
INDEXED IN: Scopus WOS DBLP CrossRef
68
TITLE: Integrating Temporal Annotations in a Modular Logic Language  Full Text
AUTHORS: Vitor Nogueira ; Salvador Abreu ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437
INDEXED IN: Scopus WOS DBLP CrossRef
69
TITLE: Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
AUTHORS: Salvador Abreu ; Daniel Diaz; Philippe Codognet;
PUBLISHED: 2009, SOURCE: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009., VOLUME: 5
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
70
TITLE: Representing and Querying Multiple Ontologies with Contextual Logic Programming  Full Text
AUTHORS: Nuno Lopes ; Claudio Fernandes; Salvador Abreu ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
Page 7 of 10. Total results: 99.