4290 search results - page 687 / 858 » Formal Approaches to Teamwork |
185
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
In order to support semantic interoperation in open environments, where agents can dynamically join or leave and no prior assumption can be made on the ontologies to align, the di...
167
click to vote
AUSDM
2007
Springer
16 years 21 days ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...
157
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
147
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
168
click to vote
CBSE
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...