6031 search results - page 425 / 1207 » Communicating Transaction Processes |
145
click to vote
ICSNC
2006
IEEE
16 years 24 days ago
2006
IEEE
The wireless markup language (WML), used in WAP, is based on XML and therefore is quite verbose. Mobile devices do not typically have the processing power or memory to process such...
141
Voted
IWINAC
2005
Springer
16 years 8 days ago
2005
Springer
A self-assembly algorithm for synchronising agents and have them arrange according to a particular graph is given. This algorithm, expressed using an ad hoc rule-based process alge...
174
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
A set of concurrent processes communicating through shared variables is an often used model for hardware systems. This paper presents three modeling techniques for representing su...
152
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
166
click to vote
ICISC
2009
15 years 4 months ago
2009
At CANS 2008, Mashatan and Stinson suggested a message recognition protocol for ad hoc pervasive networks. The protocol provides a procedure to resynchronize in case of a (possibly...