4341 search results - page 283 / 869 » Quantitative Model checking |
160
click to vote
ECBS
2005
IEEE
16 years 9 days ago
2005
IEEE
Architecture modeling is practiced extensively in the software industry but there is little attention paid to the traceability, verifiability and completeness of architecture desi...
174
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
Several description frameworks to semantically describe and match services on the one hand and service requests on the other have been presented in the literature. Many of the curr...
181
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
183
click to vote
DASC
2006
IEEE
16 years 22 days ago
2006
IEEE
We examine the feasibility of quantitatively characterizing the vulnerabilities in the two major HTTP servers. In particular, we investigate the applicability of quantitative empi...
176
click to vote
TACAS
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...