4047 search results - page 66 / 810 » Algebraic Model Checking |
FOIKS
2004
Springer
15 years 6 months ago
2004
Springer
Despite the fact that thousands of applications manipulate plans, there has been no work to date on managing large databases of plans. In this paper, we first propose a formal mod...
90
Voted
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
106
Voted
JAIR
2007
15 years 17 days ago
2007
Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can ...
83
Voted
ICCSA
2005
Springer
15 years 6 months ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
120
click to vote
FAC
2000
15 years 14 days ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...