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 21 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