4502 search results - page 736 / 901 » Regular Model Checking |
160
Voted
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
172
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
149
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
151
click to vote
SAFECOMP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
154
click to vote
ESANN
2006
15 years 6 months ago
2006
It has been proposed that chaos can serve as a reservoir providing an infinite number of dynamical states [1, 2, 3, 4, 5]. These can be interpreted as different behaviors, search a...