150 search results - page 5 / 30 » Checking Correctness of Transactional Behaviors |
ECOWS
2006
Springer
14 years 7 days ago
2006
Springer
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
IS
2008
13 years 8 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
CAISE
2003
Springer
14 years 1 months ago
2003
Springer
Transaction services offered by public authorities vary from simple forms with few fields to multi-form compound documents with hundreds of input areas. In the latter case, field p...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for popul...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...