3733 search results - page 352 / 747 » Logics of communication and change |
175
click to vote
FM
2003
Springer
16 years 21 hour ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
134
click to vote
NOMS
2002
IEEE
15 years 11 months ago
2002
IEEE
As web services become more prevalent, the nature of electronic transactions on the Internet changes from simple browser-to-business clicks to an orchestrated flow of messages bet...
176
click to vote
ICC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this contribution, we propose an improved system architecture focusing on system reference and protocol stack for broadband wireless access networks. The proposal aims to constr...
148
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
As software engineering efforts move to more complex, distributed environments, coordinating the activities of people and tools becomes very important. While groupware systems add...
185
click to vote
RTAS
1996
IEEE
15 years 11 months ago
1996
IEEE
We propose a lightweight fault-tolerant multicast and membership service for real-time process groups which may exchange periodic and aperiodic messages. The service supports boun...