449 search results - page 41 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
121
click to vote
ECWEB
2007
Springer
15 years 5 months ago
2007
Springer
A significant number of mobile payment systems have been proposed in recent years, most of them based on a scenario where all the entities are directly connected one to another (fo...
121
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
124
click to vote
TCAD
2008
15 years 1 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
101
click to vote
ESA
2005
Springer
15 years 7 months ago
2005
Springer
Sensor nodes are very weak computers that get distributed at random on a surface. Once deployed, they must wake up and form a radio network. Sensor network bootstrapping research t...
117
click to vote
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— A deep understanding of the structural properties of wireless networks is critical for evaluating the performance of network protocols and improving their designs. Many protoco...