Sciweavers

4286 search results - page 144 / 858
» Formalizing Service Interactions
Sort
View
EICS
2010
ACM
15 years 8 months ago
Service discovery supported by task models
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...
Kyriakos Kritikos, Fabio Paternò
AGTIVE
2007
Springer
16 years 15 days ago
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
Gregor Engels, Baris Güldali, Christian Solte...
SAC
2009
ACM
15 years 11 months ago
The device service bus: a solution for embedded device integration through web services
This paper presents a middleware infrastructure for integration of heterogeneous embedded devices in ubiquitous computing environments. The proposed infrastructure employs the Dev...
Gustavo Medeiros Araújo, Frank Siqueira
ESWS
2006
Springer
15 years 10 months ago
The Web Service Modeling Language WSML: An Overview
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
Jos de Bruijn, Holger Lausen, Axel Polleres, Diete...
PERCOM
2008
ACM
16 years 5 months ago
Are our homes ready for services? A domotic infrastructure based on the Web service stack
The increase in computational power and the networking abilities of home appliances are revolutionizing the way we interact with our homes. This trend is growing stronger and open...
Marco Aiello, Schahram Dustdar