1173 search results - page 192 / 235 » On the Compositionality of Round Abstraction |
MIDDLEWARE
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
ACSD
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract. Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional notification or bidirectional request-response primitives....
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...
TASE
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
TOOLS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...