580 search results - page 40 / 116 » Expressive policy analysis with enhanced system dynamicity |
226
click to vote
RTS
2010
15 years 23 days 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...
134
click to vote
SOFTVIS
2005
ACM
15 years 11 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...
157
click to vote
ADC
2009
Springer
16 years 19 days 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 ...
177
click to vote
WSC
2000
15 years 7 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...
168
click to vote
ECRTS
1998
IEEE
15 years 10 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...