15840 search results - page 18 / 3168 » The Control of Synchronous Systems |
FMCO
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
CLUSTER
2004
IEEE
13 years 7 months ago
2004
IEEE
Grid computing systems are emerging as a computing infrastructure that will enable the use of wide-area network computing systems for a variety of challenging applications. One of ...
ESCIENCE
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we describe the Vannotea system - an application designed to enable collaborating groups to discuss and annotate collections of high quality images, video, audio or...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— On a scene of a natural disaster, rescuers require heavy duty hydraulic machines to answer their need of large forces, or to approach an unreachable spot. Those industrial vehi...