Sciweavers

1087 search results - page 70 / 218
» Modelling and Implementing Complex Systems with Timebands
Sort
View
IRI
2005
IEEE
15 years 8 months ago
Towards administration of a hybrid role hierarchy
Role-Based Access Control (RBAC) models have emerged as a leading access control approach for today’s information systems. Hybrid role hierarchies introduced in the Generalized ...
Suroop Mohan Chandran, James B. D. Joshi
IROS
2007
IEEE
179views Robotics» more  IROS 2007»
15 years 9 months ago
Stereo-based 6D object localization for grasping with humanoid robot systems
Abstract— Robust vision-based grasping is still a hard problem for humanoid robot systems. When being restricted to using the camera system built-in into the robot’s head for o...
Pedram Azad, Tamim Asfour, Rüdiger Dillmann
UML
2005
Springer
15 years 8 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
15 years 9 months ago
Coverage-driven automatic test generation for uml activity diagrams
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita
ICRA
2008
IEEE
166views Robotics» more  ICRA 2008»
15 years 9 months ago
NIMS-AQ: A novel system for autonomous sensing of aquatic environments
— Over the last few years, the complexity of aquatic sensing applications has increased as a result of demands for: higher spatial coverage with high resolution monitoring, under...
Michael J. Stealey, Amarjeet Singh 0003, Maxim A. ...