Sciweavers

19 search results - page 1 / 4
» A semidefinite programming framework for controlling multi-r...
Sort
View
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
12 years 12 months ago
A semidefinite programming framework for controlling multi-robot systems in dynamic environments
Abstract-- In this paper, a discrete
Jason C. Derenick, John R. Spletzer, Vijay Kumar
ASPLOS
2012
ACM
12 years 21 days ago
Comprehensive kernel instrumentation via dynamic binary translation
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
Peter Feiner, Angela Demke Brown, Ashvin Goel
IWFM
2000
167views Formal Methods» more  IWFM 2000»
13 years 6 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
RTAS
2010
IEEE
13 years 3 months ago
Physicalnet: A Generic Framework for Managing and Programming Across Pervasive Computing Networks
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
Pascal Vicaire, Zhiheng Xie, Enamul Hoque, John A....
VRML
2004
ACM
13 years 10 months ago
PathSim visualizer: an Information-Rich Virtual Environment framework for systems biology
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
Nicholas F. Polys, Doug A. Bowman, Chris North, Re...