449 search results - page 70 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
SSS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Transformations from shared memory model to wireless sensor networks (WSNs) quickly become inefficient in the presence of prevalent message losses in WSNs, and this prohi...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
104
click to vote
CODES
2007
IEEE
15 years 3 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
162
click to vote
ESEC
1999
Springer
15 years 4 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
113
click to vote
ACISP
2006
Springer
15 years 3 months ago
2006
Springer
Efficient authentication is one of important security requirements in mobile ad hoc network (MANET) routing systems. The techniques of digital signatures are generally considered a...