5900 search results - page 220 / 1180 » Dependable Systems |
177
click to vote
ECCC
2011
15 years 1 months ago
2011
An input-oblivious proof system is a proof system in which the proof does not depend on the claim being proved. Input-oblivious versions of NP and MA were introduced in passing by...
135
Voted
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Nowadays, ontology is applied as an integral part of many applications in several domains, especially in the world of law. The ontology based judicial support system is b...
138
click to vote
SAC
2006
ACM
16 years 6 days ago
2006
ACM
This paper describes the Resource Allocation and Control Engine (RACE) that integrates multiple resource management algorithms for (re)deploying and managing performance of applic...
149
click to vote
PRDC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces the Sigma algorithm that solves fault-tolerant mutual exclusion problem in dynamic systems where the set of processes may be large and change dynamically, pr...
190
click to vote
PROLAMAT
2001
15 years 7 months ago
2001
: In most cases in intelligent manufacturing applications the communication functions depend on the capabilities of the intelligent tool (e.g. expert system). Three different types...