776 search results - page 133 / 156 » Transaction Support for Ada |
JMLC
2000
Springer
14 years 7 days ago
2000
Springer
Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express addition...
VLDB
2000
ACM
14 years 7 days 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...
VLDB
2000
ACM
14 years 7 days ago
2000
ACM
TimesTen Performance Software's Front-Tier product is an application-tier data cache that inter-operates with disk-based relational database management systems (RDBMSs) to ac...
ISLPED
1995
ACM
14 years 6 days 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...
ASM
2010
ASM
13 years 12 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...