12774 search results - page 176 / 2555 » A Framework for Proof Systems |
127
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a framework that will enable scalable analysis and design of graceful degradation in distributed embedded systems. We define graceful degradation in terms of utility. A...
136
click to vote
WISE
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents an extended architecture of a policy definition framework fine-tuned for service-oriented environments conforming to the SOA distributed processing paradigm. We...
140
click to vote
JSW
2007
15 years 4 months ago
2007
— We propose a novel framework for building a distributed data acquisition and monitoring system. Our novel framework is mainly based on XML leverages and OPC (Openness, Producti...
131
Voted
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
134
Voted
WSC
2007
15 years 7 months ago
2007
In this paper, we suggest a framework that allows for the simulation-based performance assessment of complex manufacturing systems with Automated Material Handling Systems (AMHS)....