Sciweavers

882 search results - page 24 / 177
» Analysis of Composite Corridors
Sort
View
AMDO
2006
Springer
14 years 11 days ago
Composition of Complex Motion Models from Elementary Human Motions
An appraisal of human motions and particular motion phases is essential for a good interaction between a human and a humanoid robot. We present a new method for the analysis of hum...
Jörg Moldenhauer, Ingo Boesnach, Thorsten Ste...
CISIS
2009
IEEE
14 years 3 months ago
A Parameter-Based Scheme for Service Composition in Pervasive Computing Environment
Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service compositi...
Zhenghui Wang, Tianyin Xu, Zhuzhong Qian, Sanglu L...
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
14 years 2 months ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
ISARCS
2010
188views Hardware» more  ISARCS 2010»
14 years 19 days ago
Component Behavior Synthesis for Critical Systems,
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
Tobias Eckardt, Stefan Henkler
CSAC
2006
13 years 10 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid