5184 search results - page 671 / 1037 » Computer support for mechatronic control system design |
217
click to vote
DAC
1998
ACM
16 years 8 months ago
1998
ACM
Dynamic power management schemes (also called policies) can be used to control the power consumption levels of electronic systems, by setting their components in different states,...
174
Voted
FROCOS
2005
Springer
16 years 1 months 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 (...
200
Voted
CCS
2004
ACM
16 years 1 months 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...
188
click to vote
IUI
2003
ACM
16 years 25 days ago
2003
ACM
We present a primarily speech-based user interface to a wide range of entertainment, navigation and communication applications for use in vehicles. The multimodal dialog enables t...
216
click to vote
FUIN
2007
15 years 7 months ago
2007
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...