1195 search results - page 116 / 239 » Modeling an Algebraic Stepper |
135
click to vote
BPM
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
161
click to vote
SEKE
2007
Springer
16 years 14 days ago
2007
Springer
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...
137
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
191
click to vote
GISCIENCE
2004
Springer
15 years 11 months ago
2004
Springer
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...
162
click to vote
GLOBAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to ...