3053 search results - page 355 / 611 » Performance of Generative Programming Based Protocol Impleme... |
104
Voted
ERLANG
2006
ACM
15 years 9 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
117
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Protein motions play an essential role in catalysis and protein-ligand interactions, but are difficult to observe directly. A substantial fraction of protein motions i...
145
click to vote
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
This paper proposes new network interface controller (NIC) designs that take advantage of integration with the host CPU to provide increased flexibility for operating system kerne...
134
click to vote
CLOUD
2010
ACM
15 years 8 months ago
2010
ACM
Cloud computing has emerged as a preferred platform for deploying scalable web-applications. With the growing scale of these applications and the data associated with them, scalab...
162
click to vote
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...