4099 search results - page 208 / 820 » A Framework for Interactive Proof |
219
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
132
click to vote
JCDL
2006
ACM
15 years 11 months ago
2006
ACM
Evaluation of digital libraries assesses their effectiveness, quality and overall impact. In this paper we present a novel, multi-level logging framework that will provide comple...
160
Voted
WIOPT
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we address the need to characterize and quantify resource usage in IEEE 802.11 WLANs in order to support radio resource management. We present a compact and intuitiv...
177
click to vote
CPAIOR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
159
Voted
WOSS
2004
ACM
15 years 11 months ago
2004
ACM
A distributed software system’s deployment architecture can have a significant impact on the system’s properties, which depend on various system parameters, such as network ba...