2685 search results - page 309 / 537 » A Formal Semantics for SPKI |
188
click to vote
SEMWEB
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...
151
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
189
click to vote
ICTAI
2003
IEEE
15 years 12 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
191
click to vote
IDEAS
2003
IEEE
15 years 12 months ago
2003
IEEE
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
150
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...