3387 search results - page 469 / 678 » Model-Checking for Real-Time Systems |
157
click to vote
WSC
2007
15 years 8 months ago
2007
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...
150
click to vote
CIIT
2004
15 years 7 months ago
2004
The Internet is a convenient platform to distribute real time traffic information. Thus, we propose a web-based visualization of the current and future traffic load of the entire ...
191
click to vote
CSREASAM
2006
15 years 7 months ago
2006
Due to many inherent deficiencies and flaws, current intrusion detection systems (IDS) are plagued by numerous problems. Intrusion Detection Systems are often inefficient and inef...
175
click to vote
IVC
2002
15 years 6 months ago
2002
This paper presents a novel three-dimensional model-based tracking system which has been incorporated into a visual servoing system. The tracking system combines modern graphical ...
145
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...