2940 search results - page 238 / 588 » Relational Parametricity and Control |
164
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
Role-based access control (RBAC) has been proven to be a flexible and useful access control model for information sharing in distributed collaborative environments. Permission-rol...
176
click to vote
FLAIRS
2001
15 years 8 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
149
click to vote
INTERACT
2003
15 years 8 months ago
2003
: This paper proposes a manipulation technique to intuitively control multiple viewpoints of cameras in a 3D environment specifically, a primary viewpoint and additional viewpoints...
182
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper addresses a collective motion problem for a multi-agent system composed of nonholonomic vehicles. The aim of the vehicles is to achieve circular motion around a virtual...
176
click to vote
SIAMCO
2008
15 years 6 months ago
2008
In this paper we address stabilization of a network of underactuated mechanical systems with unstable dynamics. The coordinating control law stabilizes the unstable dynamics with ...