1906 search results - page 245 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
160
click to vote
HYBRID
1998
Springer
15 years 8 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
157
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
150
click to vote
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
Mobile ad-hoc networks with their arbitrary topologies are a difficult domain for providing highly available Web services. Since hosts can move unpredictably, finding services a...
125
click to vote
TCC
2005
Springer
15 years 10 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
137
click to vote
CSMR
2008
IEEE
15 years 11 months ago
2008
IEEE
We present Build Analyzer, a tool that helps developers optimize the build performance of huge systems written in C. Due to complex C header dependencies, even small code changes ...