2678 search results - page 141 / 536 » Operational Semantics of Transactions |
119
click to vote
JCSS
2000
15 years 4 months ago
2000
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
112
click to vote
IPL
1998
15 years 4 months ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...
134
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
In this paper we demonstrate the benefits of application involvement in operating system power management. We present Coop-I/O, an approach to reduce the power consumption of devi...
133
click to vote
IFM
1999
Springer
15 years 9 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
128
click to vote
KDD
2002
ACM
16 years 5 months ago
2002
ACM
We present a framework for mining association rules from transactions consisting of categorical items where the data has been randomized to preserve privacy of individual transact...