Sciweavers

7080 search results - page 451 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
149
Voted
VLDB
2002
ACM
110views Database» more  VLDB 2002»
15 years 4 months ago
Extending an ORDBMS: The StateMachine Module
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
Wolfgang Mahnke, Christian Mathis, Hans-Peter Stei...
156
Voted
SAT
2009
Springer
91views Hardware» more  SAT 2009»
15 years 11 months ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
ICRA
2009
IEEE
130views Robotics» more  ICRA 2009»
15 years 11 months ago
Qualitative robot localisation using information from cast shadows
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...
Paulo Santos, Hannah M. Dee, Valquiria Fenelon
EUROSYS
2006
ACM
16 years 1 months ago
Experiences in building and operating ePOST, a reliable peer-to-peer application
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...
Alan Mislove, Ansley Post, Andreas Haeberlen, Pete...
APCCM
2004
15 years 6 months ago
Context-Aware Web Information Systems
Apart from completeness usability, performance and maintainability are the key quality aspects for Web information systems. Considering usability as key implies taking usage proce...
Aleksander Binemann-Zdanowicz, Roland Kaschek, Kla...