Sciweavers

462 search results - page 38 / 93
» Applying UML and MDA to Real Systems Design
Sort
View
RTCSA
2007
IEEE
15 years 6 months ago
A Flexible Real-Time Locking Protocol for Multiprocessors
Real-time scheduling algorithms for multiprocessor systems have been the subject of considerable recent interest. For such an algorithm to be truly useful in practice, support for...
Aaron Block, Hennadiy Leontyev, Björn B. Bran...
119
Voted
RTSS
2003
IEEE
15 years 5 months ago
Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic Active Subset (DAS)
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...
Lars Reuther, Martin Pohlack
124
Voted
KBSE
2007
IEEE
15 years 6 months ago
Tools for model-based security engineering: models vs. code
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
Jan Jürjens, Yijun Yu
RTSS
2008
IEEE
15 years 7 months ago
Schedulability and Compatibility of Real Time Asynchronous Objects
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S...
100
Voted
TSMC
2008
94views more  TSMC 2008»
15 years 12 days ago
Queuing Network Modeling of a Real-Time Psychophysiological Index of Mental Workload - P300 in Event-Related Potential (ERP)
Modeling and predicting of mental workload are among the most important issues in studying human performance in complex systems. Ample research has shown that the amplitude of the ...
Changxu Wu, Yili Liu, C. M. Quinn-Walsh