4047 search results - page 344 / 810 » Algebraic Model Checking |
167
click to vote
APN
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
178
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...
177
click to vote
ENTCS
2010
15 years 6 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
273
click to vote
ER
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. User preferences are a fundamental ingredient of personalized database applications, in particular those in which the user context plays a key role. Given a set of prefer...
254
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...