2162 search results - page 244 / 433 » A Meta-Notation for Protocol Analysis |
152
click to vote
ESAS
2007
Springer
16 years 23 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...
150
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
— Inter-robot communication is essential if general purpose intelligent decentralized multiple-robot systems are to become a reality. Traditionally, explicit communication amongs...
141
click to vote
SIGMETRICS
2004
ACM
16 years 13 hour ago
2004
ACM
Balancing peer-to-peer graphs, including zone-size distributions, has recently become an important topic of peer-topeer (P2P) research [1], [2], [6], [19], [31], [36]. To bring an...
156
click to vote
ITRUST
2004
Springer
15 years 12 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
167
click to vote
IEEEICCI
2005
IEEE
16 years 5 days ago
2005
IEEE
The paper presents a case study that investigates programmer learning during incremental program development. Dialog based protocol and protocol analysis are used to explore the l...