Sciweavers

1217 search results - page 154 / 244
» Using Planetlab to Implement Multicast at the Application Le...
Sort
View
128
Voted
CI
2004
85views more  CI 2004»
15 years 3 months ago
Soft Constraint Propagation and Solving in Constraint Handling Rules
Soft constraints are a generalization of classical constraints, which allow for the description of preferences rather than strict requirements. In soft constraints, constraints and...
Stefano Bistarelli, Thom W. Frühwirth, Michae...
143
Voted
SAC
2002
ACM
15 years 3 months ago
Soft constraint propagation and solving in CHRs
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...
Stefano Bistarelli, Thom W. Frühwirth, Michae...
120
Voted
ISSE
2010
15 years 2 months ago
Software model checking without source code
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
Sagar Chaki, James Ivers
134
Voted
CANS
2009
Springer
160views Cryptology» more  CANS 2009»
15 years 10 months ago
Short Hash-Based Signatures for Wireless Sensor Networks
We present a hash-based signature scheme customized for wireless sensor networks. For message lengths required by instructions or queries from the base station or single measuremen...
Erik Dahmen, Christoph Krauß
94
Voted
DASFAA
2006
IEEE
109views Database» more  DASFAA 2006»
15 years 9 months ago
Assessing the Completeness of Sensor Data
In this paper we present a quality model highlighting the completeness of sensor data with respect to its application. The model allows consistent handling of information loss as d...
Jit Biswas, Felix Naumann, Qiang Qiu