1161 search results - page 65 / 233 » Resource Modeling for Timed Creol Models |
140
click to vote
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
130
click to vote
SIGMETRICS
1998
ACM
15 years 7 months ago
1998
ACM
In many real applications, for example those with frequent and irregular communication patterns or those using large messages, network contention and contention for message proces...
144
Voted
FCCM
2005
IEEE
15 years 9 months ago
2005
IEEE
Increasing demands upon embedded systems for higher level services like networking, user interfaces and file system management, are driving growth in fully-featured operating syst...
148
click to vote
JSSPP
2005
Springer
15 years 9 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
160
click to vote
HASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...