Sciweavers

5896 search results - page 230 / 1180
» Service innovation and design
Sort
View
IWCMC
2010
ACM
15 years 8 months ago
Decentralized service composition in pervasive computing environments
In a pervasive computing environment, the devices are embedded in the physical world, providing services and interconnected by a communication network. Composition of these servic...
Joanna Izabela Siebert, Jiannong Cao, Long Cheng, ...
JCDL
2003
ACM
141views Education» more  JCDL 2003»
15 years 12 months ago
A System for Building Expandable Digital Libraries
Expandability is one of the main requirements of future digital libraries. This paper introduces a digital library service system, OpenDLib, that has been designed to be highly ex...
Donatella Castelli, Pasquale Pagano
ICFEM
1998
Springer
15 years 10 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
ICRA
2005
IEEE
104views Robotics» more  ICRA 2005»
16 years 9 days ago
RehAbilitative Knee Orthosis Driven by Electro-Rheological Fluid Based Actuators
- This work aims to demonstrate the feasibility of using Electro-Rheological Fluid (ERF) actuators in orthotics, creating a new breed of rehabilitation devices. ERFs are fluids tha...
Jason Nikitczuk, Brian Weinberg, Constantinos Mavr...
WWW
2009
ACM
16 years 7 months ago
Automated synthesis of composite services with correctness guarantee
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, ...