We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
ā In this paper, we describe the adaptation of an autonomous robotic wheelchair for cognitive disabled children. The constraints imposed by these users require developing speciļ¬...
Luis Montesano, Javier Minguez, J. M. Alcubierre, ...
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...
Panagiotis K. Linos, Zhi-hong Chen, Seth Berrier, ...
: Recently, the software industry has published several proposals for transactional processing in the Web service world. Even though most proposals support arbitrary transaction mo...
In this paper we present FormSys, a Web-based system that service-enables form documents. It oļ¬ers two main services: ļ¬lling in forms based on Web servicesā incoming SOAP me...
Ingo M. Weber, Hye-Young Paik, Boualem Benatallah,...