A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
Leonardo Salayandia, Paulo Pinheiro da Silva, Ann ...
This paper describes an approach for a composition of web services based on their semantic descriptions. The process section of OWL-S service descriptions is built with references...
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
This paper introduces mTag, a distributed eventdriven architecture for discovering location specific mobile web services. Service discovery is initiated by touching a fixed RFID r...
Jani Korhonen, Timo Ojala, Mikko Klemola, Pasi Vaa...
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...