709 search results - page 112 / 142 » An Equational Theory for Transactions |
106
Voted
CAI
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, finite model theory and pro...
Publication
Tracking heart motion plays an essential role in the diagnosis of cardiovascular diseases. This study investigates overlap priors for variational tracking of the Left Ventricle (LV...
111
Voted
WADT
1999
Springer
15 years 5 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
94
Voted
ECIS
2000
15 years 2 months ago
2000
The growing prominence of virtual organizations, such as Dell and Amazon.Com, has demonstrated the potential for virtual governance structures to achieve greater competitiveness th...
100
click to vote
FAC
2010
14 years 10 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...