5900 search results - page 217 / 1180 » Dependable Systems |
134
click to vote
PRIMA
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes the architecture of a distributed workflow management system in a dynamic environment. The system features autonomous agent components that can adapt to both s...
147
click to vote
USENIX
2003
15 years 7 months ago
2003
Often, increased security comes at the expense of user convenience, performance, or compatibility with other systems. The right level of security depends on specific site and use...
179
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Abstract: In this paper, we present an interprocessor communication-aware task scheduling algorithm applicable to a multiprocessor system executing an application with dependent ta...
185
click to vote
LATA
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Motivated by strong Karp-Lipton collapse results in bounded arithmetic, Cook and Kraj´ıˇcek [7] have recently introduced the notion of propositional proof systems with...
152
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...