Sciweavers

4561 search results - page 196 / 913
» Value and the information market
Sort
View
CADE
2008
Springer
16 years 6 months ago
Specification Predicates with Explicit Dependency Information
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
Richard Bubel, Reiner Hähnle, Peter H. Schmit...
HICSS
2008
IEEE
98views Biometrics» more  HICSS 2008»
16 years 1 months ago
Engaging and Informing Citizens with Household Indicators
Urban simulation systems can be a powerful tool for helping to understand the complex, long-term consequences of urban planning decisions. Simulation results are summarized and re...
Janet Davis
GLOBECOM
2007
IEEE
16 years 28 days ago
Broadcast Scheduling for Time-Constrained Information Delivery
—In this report, the problem of broadcast scheduling in Push broadcast systems is studied. We introduce an optimization approach that leads to well justified policies for Push b...
Majid Raissi-Dehkordi
ICDE
2006
IEEE
176views Database» more  ICDE 2006»
16 years 19 days ago
Deriving Private Information from Perturbed Data Using IQR Based Approach
Several randomized techniques have been proposed for privacy preserving data mining of continuous data. These approaches generally attempt to hide the sensitive data by randomly m...
Songtao Guo, Xintao Wu, Yingjiu Li
GLVLSI
2005
IEEE
83views VLSI» more  GLVLSI 2005»
16 years 6 days ago
Diagnosing multiple transition faults in the absence of timing information
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
Jiang Brandon Liu, Magdy S. Abadir, Andreas G. Ven...