4350 search results - page 383 / 870 » Case studies for contract-based systems |
218
click to vote
ETFA
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper we study the global scheduling of periodic task systems upon uniform multiprocessor platforms. We first show two very general properties which are wellknown for uni...
150
click to vote
APSEC
2005
IEEE
16 years 14 days ago
2005
IEEE
Our approach to better understand the nature of collaboration in open-source software (OSS) development is to view it as a participative system, where people and artifacts are int...
172
click to vote
ISPW
2005
IEEE
16 years 13 days ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
194
click to vote
GCC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
176
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...