1173 search results - page 45 / 235 » On the Compositionality of Round Abstraction |
ICSE
2004
IEEE-ACM
14 years 3 months ago
2004
IEEE-ACM
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
CONCUR
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
ECOOP
1998
Springer
14 years 2 months ago
1998
Springer
Mixin layers are a technique for implementing layered object-oriented (e.g., collaboration-based designs). Mixin layers are similar to abstract subclasses (mixin classes) but scale...
FMCAD
2007
Springer
14 years 4 months ago
2007
Springer
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
CONEXT
2006
ACM
14 years 3 months ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...