Sciweavers

3022 search results - page 196 / 605
» Make Way for WayMaker
Sort
View
CP
2005
Springer
15 years 10 months ago
Boosting Distributed Constraint Satisfaction
Abstract Competition and cooperation can boost the performance of a combinatorial search process. Both can be implemented with a portfolio of algorithms which run in parallel, give...
Georg Ringwelski, Youssef Hamadi
ECOOP
2005
Springer
15 years 10 months ago
The Emergent Structure of Development Tasks
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
Gail C. Murphy, Mik Kersten, Martin P. Robillard, ...
ER
2005
Springer
130views Database» more  ER 2005»
15 years 10 months ago
Conceptual Model Based Semantic Web Services
To achieve the dream of the semantic web, it must be possible for ordinary users to invoke services. Exactly how to turn this dream into reality is a challenging opportunity and a...
Muhammed Al-Muhammed, David W. Embley, Stephen W. ...
ESORICS
2005
Springer
15 years 10 months ago
Machine-Checked Security Proofs of Cryptographic Signature Schemes
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
Sabrina Tarento
ESWS
2005
Springer
15 years 10 months ago
AquaLog: An Ontology-Portable Question Answering System for the Semantic Web
As semantic markup becomes ubiquitous, it will become important to be able to ask queries and obtain answers, using natural language (NL) expressions, rather than the keyword-based...
Vanessa Lopez, Michele Pasin, Enrico Motta