15251 search results - page 328 / 3051 » Network Science - Theory and Application |
152
click to vote
COMCOM
2000
15 years 6 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
170
click to vote
NOMS
1998
IEEE
15 years 11 months ago
1998
IEEE
Current advances in networking, computing, software and web technologies have led to an explosive growth in the development of networked applications. Management of large-scale ne...
206
click to vote
CLUSTER
2005
IEEE
16 years 13 days ago
2005
IEEE
We have created ZapC, a novel system for transparent coordinated checkpoint-restart of distributed network applications on commodity clusters. ZapC provides a thin virtualization ...
204
click to vote
CONEXT
2006
ACM
15 years 10 months ago
2006
ACM
The automatic detection of applications associated with network traffic is an essential step for network security and traffic engineering. Unfortunately, simple port-based classif...
201
Voted
BROADNETS
2006
IEEE
16 years 27 days ago
2006
IEEE
—LambdaGrid applications as typified by data-intensive collaborative visualization are likely to be the first users of terabit-level networking. This paper features a main enable...