Sciweavers

4850 search results - page 801 / 970
» Approximate Data Structures with Applications
Sort
View
132
Voted
ESOP
2010
Springer
15 years 11 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
CHI
2010
ACM
15 years 9 months ago
Avaaj Otalo: a field study of an interactive voice forum for small farmers in rural India
In this paper we present the results of a field study of Avaaj Otalo (literally, “voice stoop”), an interactive voice application for small-scale farmers in Gujarat, India. T...
Neil Patel, Deepti Chittamuru, Anupam Jain, Paresh...
138
Voted
ICDE
2009
IEEE
143views Database» more  ICDE 2009»
15 years 9 months ago
Supporting Generic Cost Models for Wide-Area Stream Processing
— Existing stream processing systems are optimized for a specific metric, which may limit their applicability to diverse applications and environments. This paper presents XFlow...
Olga Papaemmanouil, Ugur Çetintemel, John J...
DSN
2009
IEEE
15 years 9 months ago
Remote attestation to dynamic system properties: Towards providing complete system integrity evidence
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
Chongkyung Kil, Emre Can Sezer, Ahmed M. Azab, Pen...
IWANN
2009
Springer
15 years 9 months ago
A Proposal for Mobile Diabetes Self-control: Towards a Patient Monitoring Framework
In this paper, we present a proposal for Patients’ Mobile Monitoring. This framework enables the definition and generation of profiles, modules and communication structures betwe...
Vladimir Villarreal, Javier Laguna, Silvia L&oacut...