enter search term and/or author name
Analysis and applications of timed service protocols
Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani
Article No.: 11
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
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
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...