Sciweavers

915 search results - page 74 / 183
» Robustness in the Presence of Liveness
Sort
View
SYSTOR
2009
ACM
15 years 10 months ago
Architecture of the internet archive
The Internet Archive is a live production system supporting close to a petabyte of data and delivering an average of 2.3Gb/sec of data to Internet users. We describe the architect...
Elliot Jaffe, Scott Kirkpatrick
EDOC
2000
IEEE
15 years 10 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
CORR
2010
Springer
173views Education» more  CORR 2010»
15 years 4 months ago
A framework for proving the self-organization of dynamic systems
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...
Emmanuelle Anceaume, Xavier Défago, Maria P...
ICRA
2007
IEEE
195views Robotics» more  ICRA 2007»
16 years 15 days ago
A Biologically Inspired Approach to the Coordination of Hexapedal Gait
— This paper presents a method for the control of locomotion in a robot hexapod. The approach is based on the WalkNet structure, which in turn is based on the neural control stru...
Keith W. Wait, Michael Goldfarb
CW
2006
IEEE
16 years 7 days ago
An Interactive Mixed Reality Framework for Virtual Humans
In this paper, we present a simple and robust Mixed Reality (MR) framework that allows for real-time interaction with Virtual Humans in real and virtual environments under consist...
Arjan Egges, George Papagiannakis, Nadia Magnenat-...