Sciweavers

2171 search results - page 110 / 435
» Cooperative Validation in Distributed Control Systems Design
Sort
View
111
Voted
ICFP
2005
ACM
16 years 1 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
ICRA
2006
IEEE
165views Robotics» more  ICRA 2006»
15 years 7 months ago
Trajectory Tracking and Balance Stabilization Control of Autonomous Motorcycles
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...
Jingang Yi, Dezhen Song, Anthony Levandowski, Suha...
ICRA
2009
IEEE
266views Robotics» more  ICRA 2009»
15 years 8 months ago
Behavioral control for multi-robot perimeter patrol: A Finite State Automata approach
Abstract— This paper proposes a multiple robot control algorithm to approach the problem of patrolling an open or closed line. The algorithm is fully decentralized, i.e., no comm...
Alessandro Marino, Lynne E. Parker, Gianluca Anton...
117
Voted
DBSEC
2010
162views Database» more  DBSEC 2010»
15 years 3 months ago
Distributed and Secure Access Control in P2P Databases
The intent of peer data management systems (PDMS) is to share as much data as possible. However, in many applications leveraging sensitive data, users demand adequate mechanisms to...
Angela Bonifati, Ruilin Liu, Hui (Wendy) Wang
113
Voted
CBMS
2008
IEEE
15 years 8 months ago
Behavior-Based Access Control for Distributed Healthcare Environment
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...
Mohammad H. Yarmand, Kamran Sartipi, Douglas G. Do...