580 search results - page 40 / 116 » Expressive policy analysis with enhanced system dynamicity |
135
click to vote
RTS
2010
14 years 4 months ago
2010
Safety-critical real-time standards define several criticality levels for the tasks (e.g., DO-178B - Software Considerations in Airborne Systems and Equipment Certification). Clas...
SOFTVIS
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
89
Voted
ADC
2009
Springer
15 years 4 months ago
2009
Springer
Access control has been studied for sometime, and there are a number of theories and techniques for handling access control for single or centralised systems; however, unique and ...
101
click to vote
WSC
2000
14 years 11 months ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
88
Voted
ECRTS
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper introduces improvements in partitioning schemes for multiprocessor real-time systems which allow higher processor utilization and enhanced schedulability by using exact...