HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
SACMAT
2010
ACM
14 years 2 months ago
2010
ACM
There has been increasing interest in automatic techniques for generating roles for role based access control, a process known as role mining. Most role mining approaches assume t...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
This paper investigates the problem of improving the performance of general state-of-the-art robot control systems by autonomously adapting them to specific tasks and environments...
RTSS
2000
IEEE
14 years 2 months ago
2000
IEEE
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
RTSS
2000
IEEE
14 years 2 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...
RTSS
2000
IEEE
14 years 2 months ago
2000
IEEE
RTSS
2000
IEEE
14 years 2 months ago
2000
IEEE
