1541 search results - page 126 / 309 » Tools and Techniques for Model Checking Networked Programs |
103
click to vote
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
155
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
145
click to vote
DEBU
2008
15 years 4 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
113
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
125
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The brain has long been seen as a powerful analogy from which novel computational techniques could be devised. However, most artificial neural network approaches have ignored the...