478 search results - page 1 / 96 » Behavioral Specification of Real-Time Requirements |
115
click to vote
APSEC
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
135
click to vote
RTSS
2000
IEEE
15 years 3 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...
124
click to vote
ANSOFT
2002
14 years 10 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
88
Voted
ECOOP
1994
Springer
15 years 2 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
45
Voted
JCST
2002
14 years 10 months ago
2002
