503 search results - page 27 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Supply chain management is a demanding and complicated task due to its broad scope and the strong connectedness of its objects and issues. In order to make theoretical investigati...
103
click to vote
DAC
2008
ACM
15 years 10 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
ICPP
2002
IEEE
15 years 2 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
149
click to vote
B
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...