2678 search results - page 291 / 536 » Operational Semantics of Transactions |
154
click to vote
C3S2E
2009
ACM
15 years 9 months ago
2009
ACM
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...
153
Voted
VLDB
2000
ACM
15 years 8 months ago
2000
ACM
E-business is becoming the trademark of the 2000s. Companies are using the Web to communicate with their partners, connect with their back-end systems, and perform e-commerce tran...
151
Voted
ISLPED
1995
ACM
15 years 8 months ago
1995
ACM
We will present a power estimation technique for digital integrated circuits that operates at the register transfer level RTL . Such a high-level power estimation capability is r...
148
Voted
PEPM
1995
ACM
15 years 8 months ago
1995
ACM
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
164
Voted
ASM
2010
ASM
15 years 8 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...