177
click to vote
ISOLA
14 years 11 months 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-...
116
click to vote
ISOLA
14 years 12 months 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...
125
click to vote
ISOLA
14 years 11 months 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...
111
click to vote
ISOLA
14 years 11 months 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...
108
click to vote
ISOLA
14 years 11 months 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