1407 search results - page 192 / 282 » Using Use Cases in Executable Z |
108
click to vote
SOSP
2001
ACM
16 years 29 days ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
126
click to vote
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
We present the living application, a method to autonomously manage applications on the grid. During its execution on the grid, the living application makes choices on the resources...
165
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we present an approach to the synthesis of fault-tolerant schedules for embedded applications with soft and hard real-time constraints. We are interested to guarante...
141
click to vote
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
143
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Collaboration Engineering (CE) projects can run for months and can require substantial expenditures of effort and resources. CE is an approach to designing collaborative work prac...