584 search results - page 83 / 117 » The Light Control Case Study: Problem Description |
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
AAAI
2008
13 years 10 months ago
2008
In this paper, we set up a framework to study approximation of manipulation, control, and bribery in elections. We show existence of approximation algorithms (even fully polynomia...
BPM
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
CATS
2008
13 years 9 months ago
2008
Lock-free algorithms have been developed to avoid various problems associated with using locks to control access to shared data structures. These algorithms are typically more int...
CRIWG
2003
13 years 9 months ago
2003
Collaborative Systems support user groups enabling a shared environment and informing of its state and changes through a mechanism called awareness. We believe that these changes a...