1304 search results - page 202 / 261 » Model Checking C Programs Using F-SOFT |
114
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
146
Voted
FORTE
1997
15 years 4 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
118
Voted
NSDI
2008
15 years 5 months ago
2008
This paper presents Swift, a packet filter for high performance packet capture on commercial off-the-shelf hardware. The key features of Swift include (1) extremely low filter upd...
130
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Even though real-time PCR has been broadly applied in biomedical sciences, data processing procedures for the analysis of quantitative real-time PCR are still lacking;...
116
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Autonomic computing has been proposed recently as a way to address the difficult management of applications whose complexity is constantly increasing. Autonomous applications will ...