581 search results - page 74 / 117 » Abstract Semantics by Observable Contexts |
ACOM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of...
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The fast emergent areas of the Semantic Web and knowledge management push researchers to new efforts concerning ontology engineering. The development of ontologies must b...
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
LAWEB
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper analyzes how the semantics of association relationships in OO conceptual modeling can help to build Navigational Models for Web Applications. The work has been develope...
85
Voted
LOPSTR
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...