10159 search results - page 445 / 2032 » System Design Validation Using Formal Models |
144
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
A federated Web-based multimedia information system on one hand gathers its data from various Web sources, on the other hand offers the end-user a rich semantics describing its co...
132
click to vote
WSC
1998
15 years 6 months ago
1998
This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It...
145
click to vote
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
With power becoming a major constraint for multi-processor embedded systems, it is becoming important for designers to characterize and model processor power dissipation. It is cr...
126
Voted
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
– In this paper, we describe a robot that interacts with humans in a crowded conference environment. The robot detects faces, determines the shirt color of onlooking conference a...
127
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents an RTOS-centric hardwareisoftware cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is tha...