3387 search results - page 480 / 678 » Model-Checking for Real-Time Systems |
247
click to vote
WRLA
2010
15 years 4 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
129
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
Complex systems abound in nature and are becoming increasingly important in artificial systems. The understanding and controlling of such systems is a major challenge. This paper ...
145
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
135
click to vote
JDCTA
2010
15 years 25 days ago
2010
This study employed WebAccess software to construct a remote graphic surveillance system, which was developed differently from previous remote monitoring systems. Advantech WebAcc...
170
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
A novel method for region of interest tracking and recording video is presented. The proposed method is based on the FlyCam system [4], which produces high resolution and wide-ang...