6031 search results - page 786 / 1207 » Communicating Transaction Processes |
173
click to vote
COORDINATION
2007
Springer
16 years 27 days ago
2007
Springer
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...
166
click to vote
CSCWD
2007
Springer
16 years 27 days ago
2007
Springer
Ubiquitous computing is increasingly becoming part of our lives. Various computing devices, having different sizes and capabilities, and using different software platforms are part...
170
click to vote
EDUTAINMENT
2007
Springer
16 years 27 days ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
194
click to vote
ER
2007
Springer
16 years 27 days ago
2007
Springer
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-go...
153
click to vote
ESAS
2007
Springer
16 years 27 days ago
2007
Springer
Introducing a new device to a network or to another device is one of the most security critical phases of communication in personal networks. There have been several different pro...