1541 search results - page 197 / 309 » Tools and Techniques for Model Checking Networked Programs |
151
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Combinatorial complexity is a challenging problem in detailed and mechanistic mathematical modeling of signal transduction. This subject has been discussed intensively...
127
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
129
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
117
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
169
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...