4290 search results - page 609 / 858 » Formal Approaches to Teamwork |
160
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
197
click to vote
CIKM
2005
Springer
16 years 5 days ago
2005
Springer
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...
163
Voted
ECMDAFA
2005
Springer
16 years 5 days ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...
181
click to vote
ESWS
2005
Springer
16 years 5 days ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
163
click to vote
FMCO
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...