12774 search results - page 173 / 2555 » A Framework for Proof Systems |
116
click to vote
ISSRE
2008
IEEE
15 years 11 months ago
2008
IEEE
Developing peer-to-peer (P2P) systems is hard because they must be deployed on a high number of nodes, which can be autonomous, refusing to answer to some requests or even unexpec...
112
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
We present a novel and intuitive framework for building modular vision systems for complex tasks such as surveillance applications. Inspired by graphical models, especially factor...
129
Voted
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...
122
Voted
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
118
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we present a framework for estimating the energy consumption of Java-based software systems. Our primary objective is to enable an engineer to make informed decision...