1362 search results - page 153 / 273 » Model Checking Large Network Protocol Implementations |
142
click to vote
CSMR
2009
IEEE
15 years 8 months ago
2009
IEEE
Creating accurate models of information systems is an important but challenging task. It is generally well understood that such modeling encompasses general scientific issues, bu...
112
click to vote
ICICS
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents a policy-based framework for managing access control in distributed heterogeneous systems. This framework is based on the PDP/PEP approach. The PDP (Policy Deci...
144
click to vote
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
Network resiliency is crucial to IP network operations. Existing techniques to recover from one or a series of failures do not offer performance predictability and may cause serio...
134
Voted
EUROPAR
2007
Springer
15 years 9 months ago
2007
Springer
The continuous increase of computational power has made viable the implementation of more and more sophisticated virtualization techniques. The use of virtualization in cluster env...
141
Voted
WD
2010
15 years 1 months ago
2010
Abstract--Reliable and secure content distribution in a disruptive environment is a critical challenge due to high mobile and lossy channels. Traditional IP networking and wireless...