1548 search results - page 263 / 310 » Semantics and Extensions of WS-Agreement |
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
CAEPIA
2009
Springer
13 years 11 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
ERCIMDL
2010
Springer
13 years 11 months ago
2010
Springer
The Planets Testbed is an open access web application for the digital preservation community, providing an experimental framework for evaluating preservation tools and approaches i...
ESWS
2010
Springer
13 years 11 months ago
2010
Springer
Many systems exist for community formation in extensions of traditional Web environments but little work has been done for forming and maintaining communities in the more dynamic e...
GG
2010
Springer
13 years 11 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...