2500 search results - page 385 / 500 » Logical Semantics of Modularisation |
127
click to vote
IJAIT
2006
15 years 2 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
118
Voted
IJMSO
2006
15 years 2 months ago
2006
Recent expectations regarding the new generation of Web strongly depend on the success of Semantic Web technology. Resource Description Framework (RDF) is a basis for an explicit a...
139
click to vote
JUCS
2008
15 years 2 months ago
2008
: We propose specification of schema mappings and agents' actions in XML data integration task. We discuss the problem in a highly-dynamic environment consisting of a communit...
145
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
142
Voted
FORTE
2009
15 years 22 days ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...