5184 search results - page 66 / 1037 » Computer support for mechatronic control system design |
114
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Equalization techniques for room impulse responses (RIRs) are important in acoustic signal processing applications such as speech dereverberation. In practice, only approximate es...
145
Voted
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
149
Voted
CHI
2004
ACM
16 years 4 months ago
2004
ACM
This paper describes the concepts of TEA, a flexible tool that supports user tests by automating repetitive tasks and collecting data of user inputs and actions. TEA was specifica...
131
Voted
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
132
Voted
CCS
2010
ACM
14 years 10 months ago
2010
ACM
Traditional web application development often encounters tight coupling problem between access control logic and business logic. It is hard to configure and modify access control ...