169 search results - page 23 / 34 » Abstract Interpretation of Algebraic Polynomial Systems (Ext... |
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
118
click to vote
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
152
click to vote
DEDS
2000
15 years 1 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
202
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The DRAGOS database eases the development of graphbased applications by providing a uniform graph-oriented data storage facility. In this paper, we extend the existing da...
108
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...