1524 search results - page 165 / 305 » Operational Semantics of Hybrid Systems |
ARGMAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between b...
ECTEL
2007
Springer
15 years 4 months ago
2007
Springer
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
BPM
2006
Springer
14 years 12 months ago
2006
Springer
The "Babel tower effect", induced by the heterogeneity of applications available in the operation of enterprises brings to a consistent lack of "exchangeability"...
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
ECOOP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...