1362 search results - page 11 / 273 » Model Checking Large Network Protocol Implementations |
70
Voted
COOPIS
2003
IEEE
15 years 2 months ago
2003
IEEE
Longevity of distributed computing middleware standards, such as CORBA, depend on their ability to support a range of applications by providing low overhead access in a uniform man...
IAAI
2001
14 years 10 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...
102
Voted
HIPC
2007
Springer
15 years 1 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
95
Voted
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
Design and analysis of cooperative communication schemes based upon modeling and simulation exist in large quantities in the research literature. Despite this fact, there have bee...