1060 search results - page 50 / 212 » Mechanized semantics |
120
click to vote
WOA
2004
14 years 11 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
100
click to vote
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents SERSE – SEmantic Routing SystEm– a distributed multi-agent system composed of specialised agents that provides robust and efficient gathering and aggregati...
JWSR
2006
14 years 9 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
SCCC
1998
IEEE
15 years 2 months ago
1998
IEEE
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
MDM
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we consider semantic service discovery in a global computing environment. We propose creating a dynamic overlay network by grouping together semantically related se...