Sciweavers

2838 search results - page 266 / 568
» Verifying Controlled Components
Sort
View
IJRR
2002
96views more  IJRR 2002»
15 years 6 months ago
Phase Regulation of Decentralized Cyclic Robotic Systems
We address the problem of coupling cyclic robotic tasks to produce a specified coordinated behavior. Such coordination tasks are common in robotics, appearing in applications like...
Eric Klavins, Daniel E. Koditschek
IAJIT
2010
133views more  IAJIT 2010»
15 years 5 months ago
Improving web services security models
: Web services are considered one of the main technologies which emerged in recent years, they provide an application integration technology that allows business applications to co...
Sawsan Abu-Taleb, Hossam Mustafa
TSP
2012
14 years 2 months ago
Parametrization of Linear Systems Using Diffusion Kernels
—Modeling natural and artificial systems has played a key role in various applications and has long been a task that has drawn enormous efforts. In this work, instead of explori...
Ronen Talmon, Dan Kushnir, Ronald R. Coifman, Isra...
SACMAT
2005
ACM
16 years 5 days ago
Composing and combining policies under the policy machine
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
David F. Ferraiolo, Serban I. Gavrila, Vincent C. ...
HAPTICS
2009
IEEE
16 years 1 months ago
Visual versus haptic progressive guidance for training in a virtual dynamic task
The objective of this work is to demonstrate that progressive haptic guidance can accelerate and improve motor task training outcomes over visual or practice-only methods in a tra...
Joel C. Huegel, Marcia Kilchenman O'Malley