2661 search results - page 154 / 533 » A Semantics for Abstraction |
170
click to vote
CONCUR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
148
click to vote
GI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract: Governmental processes are complex and knowledge-intensive. Most process management systems fail to support them in an adequate way. On the other hand semantic technologi...
180
click to vote
SOCASE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
171
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
160
click to vote
CORIA
2007
15 years 8 months ago
2007
ABSTRACT. In the framework of the LegDoc project at Xerox Research Centre Europe, we are developing components for the semantic annotation of semi-structured documents. While certa...