2875 search results - page 413 / 575 » Model checking agentspeak |
134
Voted
DSN
2003
IEEE
15 years 6 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...
100
Voted
DGO
2008
15 years 2 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...
119
Voted
BMCBI
2008
15 years 1 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...
135
Voted
ICLP
2004
Springer
15 years 6 months 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...
125
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...