1360 search results - page 112 / 272 » Reasoning on Workflow Executions |
134
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
135
Voted
ATAL
2001
Springer
15 years 8 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
127
Voted
GIS
1997
ACM
15 years 7 months ago
1997
ACM
Spatial indexes, such as the PMR quadtree, are important in spatial databases for efficient execution of queries involving spatial constraints, especially when the queries involve...
135
Voted
DEXA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
133
Voted
PODC
1999
ACM
15 years 7 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...