776 search results - page 7 / 156 » Transaction Support for Ada |
SIGIR
2006
ACM
14 years 2 months ago
2006
ACM
Many searches on the web have a transactional intent. We argue that pages satisfying transactional needs can be distinguished from the more common pages that have some information...
SIGADA
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
SIGADA
1998
Springer
14 years 24 days ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
ADAEUROPE
1997
Springer
14 years 23 days ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
DEXA
1999
Springer
14 years 27 days ago
1999
Springer
Workflow management systems require advanced transaction support to cope with their inherently long-running processes. The recent trend to distribute workflow executions requires ...