Sciweavers

611 search results - page 36 / 123
» A new perspective on control of uncertain complex systems
Sort
View
FM
1999
Springer
97views Formal Methods» more  FM 1999»
14 years 28 days ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong
ICRA
2007
IEEE
159views Robotics» more  ICRA 2007»
14 years 3 months ago
Visual Servoing from Spheres using a Spherical Projection Model
— In this paper, we investigate the use of a spherical projection model to search for optimal visual features for visual servoing. A new minimal set of three visual features is p...
Romeo Tatsambon Fomena, François Chaumette
EVOW
2004
Springer
14 years 2 months ago
Swarm Granulator
Abstract. This paper describes a Swarm Granulator, a new application of particle swarms to sound synthesis. Granulation, an established technique in sound synthesis, depends on man...
Tim Blackwell, Michael Young
COMPSAC
2009
IEEE
14 years 3 months ago
System Safety Requirements as Control Structures
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
Zhe Chen, Gilles Motet
ICSE
2000
IEEE-ACM
14 years 7 days ago
Software engineering for security: a roadmap
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...
Premkumar T. Devanbu, Stuart G. Stubblebine