931 search results - page 62 / 187 » aim 2005 |
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
The aim of this paper is to determine aspects to be considered in Bunge’s ontological models in order to obtain an Integrated Ontological Model of Information Systems (IOMIS). Th...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
Service-Oriented architectures and Service-Oriented Computing are the most recent approaches aiming at facilitating the design and development of applications on distributed system...
CASSIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
CEEMAS
2005
Springer
14 years 3 months ago
2005
Springer
For software agents to become part of e-commerce they have to be flexible—to engage in negotiations of forms which are not known in advance, and mobile—to migrate to remote lo...