662 search results - page 91 / 133 » Model Checking Procedures for Infinite State Systems |
DGO
2008
15 years 1 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...
118
click to vote
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
165
click to vote
WRLA
2010
14 years 10 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
This paper analyzes opportunistic schemes for transmission scheduling from one of n homogeneous queues whose channel states fluctuate independently. Considered schemes consist of ...
118
click to vote
FDL
2006
IEEE
15 years 5 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...