5184 search results - page 719 / 1037 » Computer support for mechatronic control system design |
218
click to vote
SACMAT
2006
ACM
16 years 1 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
225
Voted
RTSS
2003
IEEE
16 years 23 days ago
2003
IEEE
Scheduling disk requests with service guarantees has to bring the demand to meet guarantees in line with the need to optimize disk utilization. This paper presents the design, imp...
191
Voted
RTSS
2003
IEEE
16 years 23 days ago
2003
IEEE
Any data exchanged between the processor and main memory uses the memory bus, sharing it with data exchanged between I/O devices and main memory. If the processor and a device try...
186
click to vote
RTAS
1996
IEEE
15 years 11 months ago
1996
IEEE
The proliferation of mobile computers and wireless networks requires the design of future distributed real-time applications to recognize and deal with the signi cant asymmetry be...
173
click to vote
TSP
2010
15 years 2 months ago
2010
Developing computational models paves the way to understanding, predicting, and influencing the long-term behavior of genomic regulatory systems. However, several major challenges ...