425 search results - page 10 / 85 » The ENTRAPID Protocol Development Environment |
108
click to vote
SIGCOMM
2000
ACM
15 years 4 months ago
2000
ACM
Current routing protocols are monolithic, specifying the algorithm used to construct forwarding tables, the metric used by the algorithm (generally some form of hop-count), and th...
116
click to vote
CCS
1998
ACM
15 years 4 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
111
Voted
DEXAW
2004
IEEE
15 years 4 months ago
2004
IEEE
Complex systems are those systems composed of many, often very simple, interacting autonomous entities. Interactions between these entities give rise to behaviour and patterns at t...
83
Voted
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— The proliferation of heterogeneous devices, ranging from mobile communication to home electronics and their internetworking have resulted into the development of a "person...
86
Voted
CASCON
1996
15 years 1 months ago
1996
Developing and managing applications for environments consisting of independently con gured computing systems interoperating acrossnetwork connections is of considerable interest ...