622 search results - page 7 / 125 » Specifying Functional and Timing Behavior for Real-Time Appl... |
127
click to vote
PDPTA
2003
15 years 7 months ago
2003
Abstract— Today’s middleware applications tend to be complicated, and consist of tiers that form a nested chain of objects or processes. For a real-time nested application, pre...
173
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
159
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
197
click to vote
ANSOFT
2002
15 years 5 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...
155
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents an innovative hierarchical feedback adaptation method that efficiently controls the dynamic QoS behavior of real-time distributed data-flow applications, such ...