2643 search results - page 320 / 529 » Higher order messaging |
179
click to vote
HIPC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Wireless technology is becoming an attractive mode of communication for real-time applications in typical settings such as in an industrial setup because of the tremendou...
215
click to vote
FM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
194
click to vote
OTM
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
205
click to vote
SENSYS
2004
ACM
16 years 2 days ago
2004
ACM
Wireless sensor networks offer the potential to span and monitor large geographical areas inexpensively. Sensors, however, have significant power constraint (battery life), makin...
176
click to vote
PPOPP
1997
ACM
15 years 11 months ago
1997
ACM
Parallel algorithm designers need computational models that take first order system costs into account, but are also simple enough to use in practice. This paper introduces the L...