5690 search results - page 786 / 1138 » A Position Control System Design |
175
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
158
click to vote
FROCOS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
159
click to vote
ICESS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
182
click to vote
ICIC
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...
175
click to vote
CCS
2004
ACM
16 years 2 days ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...