798 search results - page 31 / 160 » Statecharts as Protocols for Objects |
CAISE
1999
Springer
15 years 4 months ago
1999
Springer
Software composition is critical for building large-scale applications. In this paper, we consider the composition of components that are methods offered by heterogeneous, autonomo...
FMSD
2006
14 years 11 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
103
click to vote
EWSN
2008
Springer
15 years 11 months ago
2008
Springer
We present Typhoon, a protocol designed to reliably deliver large objects to all the nodes of a wireless sensor network (WSN). Typhoon uses a combination of spatially-tuned timers,...
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
The most commonly deployed web service applications employ client-server communication patterns, with clients running remotely and services hosted in data centers. In this paper, ...
102
click to vote
CCR
2005
14 years 11 months ago
2005
This paper introduces large scale content distribution protocols, which are capable of scaling to massive numbers of users and providing low delay end-to-end delivery. Delivery of...