662 search results - page 69 / 133 » Model Checking Procedures for Infinite State Systems |
170
click to vote
RR
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
150
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
133
click to vote
ICSOC
2010
Springer
15 years 1 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
SIAMAM
2010
15 years 1 months ago
2010
We consider systems of hyperbolic balance laws governing flows of an arbitrary number of components equipped with general equations of state. The components are assumed to be immi...
127
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...