2678 search results - page 160 / 536 » Operational Semantics of Transactions |
135
click to vote
RTSS
1996
IEEE
15 years 8 months ago
1996
IEEE
We present an integrated framework for developing realtime systems in which lock-free algorithms are employed to implement shared objects. There are two key objectives of our work...
117
click to vote
DIMVA
2010
15 years 6 months ago
2010
Cyber-criminals around the world are using Internet-based communication channels to establish trade relationships and complete fraudulent transactions. Furthermore, they control an...
133
Voted
USENIX
1993
15 years 6 months ago
1993
This paper describes the design, implementation, and performance of the Inversion file system. Inversion provides a rich set of services to file system users, and manages a larg...
148
click to vote
EDOC
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we provide a semantic foundation for role-related concepts in Enterprise Modelling. We use a conceptual modelling framework to provide a wellfounded underpinning fo...
138
click to vote
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...