4341 search results - page 585 / 869 » Quantitative Model checking |
199
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
151
click to vote
DGO
2008
15 years 8 months ago
2008
The Florida Public Hurricane Loss Model (FPHLM) developed in the State of Florida offers an open, public and effective tool for the government to regulate the insurance ratemaking...
182
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: With the abundant information produced by microarray technology, various approaches have been proposed to infer transcriptional regulatory networks. However, few appro...
191
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
194
click to vote
ICLP
2004
Springer
16 years 5 hour ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...