169 search results - page 23 / 34 » Abstract Interpretation of Algebraic Polynomial Systems (Ext... |
FASE
2004
Springer
14 years 26 days 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...
QEST
2010
IEEE
13 years 5 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...
DEDS
2000
13 years 7 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...
AGTIVE
2007
Springer
13 years 9 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...
VMCAI
2005
Springer
14 years 28 days 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...