1173 search results - page 201 / 235 » On the Compositionality of Round Abstraction |
AI
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
EMSOFT
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
AINA
2009
IEEE
14 years 3 months ago
2009
IEEE
Device centric Service-oriented Architectures have shown to be applicable in the automation industry for interconnecting manufacturing devices and enterprise systems, thus, establ...
WMCSA
2002
IEEE
14 years 2 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
COSIT
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...