ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 19 Issue 4, April 2010

Analysis and applications of timed service protocols
Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani
Article No.: 11
DOI: 10.1145/1734229.1734230

Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted that a service description should include not only the interface, but...

Semantic self-assessment of query results in dynamic environments
Jamie Payton, Christine Julien, Gruia-Catalin Roman, Vasanth Rajamani
Article No.: 12
DOI: 10.1145/1734229.1734231

Queries are convenient abstractions for the discovery of information and services, as they offer content-based information access. In distributed settings, query semantics are well-defined, for example, queries are often designed to satisfy ACID...

A verification system for interval-based specification languages
Chunqing Chen, Jin Song Dong, Jun Sun, Andrew Martin
Article No.: 13
DOI: 10.1145/1734229.1734232

Interval-based specification languages have been used to formally model and rigorously reason about real-time computing systems. This usually involves logical reasoning and mathematical computation with respect to continuous or discrete time. When...