12981 search results - page 594 / 2597 » Model Checking (Abstract) |
173
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...
210
click to vote
BMCBI
2008
15 years 7 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...
225
click to vote
ICLP
2004
Springer
16 years 19 days 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...
206
click to vote
VMCAI
2004
Springer
16 years 18 days 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...
237
click to vote
SIGSOFT
2003
ACM
16 years 15 days ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...