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...
— 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...
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...
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...
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...