HASE
1999
IEEE
13 years 11 months ago
1999
IEEE
HASE
1999
IEEE
13 years 11 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
13 years 11 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
13 years 11 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
13 years 11 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
13 years 12 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
13 years 12 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
13 years 12 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
13 years 12 months ago
2000
IEEE
RTSS
2000
IEEE
13 years 12 months ago
2000
IEEE
