192
click to vote
ISOLA
15 years 10 days ago
2010 Springer 
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
129
click to vote
ISOLA
15 years 26 days ago
2010 Springer 
According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this conte...
137
click to vote
ISOLA
15 years 10 days ago
2010 Springer 
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
125
click to vote
ISOLA
15 years 10 days ago
2010 Springer 
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
123
click to vote
ISOLA
15 years 10 days ago
2010 Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...
|
Formal Methods