Sciweavers

166 search results - page 28 / 34
» Online Monitoring of Software System Reliability
Sort
View
SENSYS
2009
ACM
14 years 1 months ago
Run time assurance of application-level requirements in wireless sensor networks
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
Jingyuan Li, Yafeng Wu, Krasimira Kapitanova, John...
CISIS
2009
IEEE
13 years 4 months ago
The Health-e-Waterways Project - Data Integration for Smarter, Collaborative, Whole-of-Water Cycle Management
The Health-e-Waterways Project is a collaboration between the University of Queensland, Microsoft Research and the South East Queensland Healthy Waterways Partnership (SEQ-HWP) (a...
Abdulmonem Alabri, Jane Hunter, Catharine van Inge...
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
13 years 10 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
WWW
2006
ACM
14 years 7 months ago
Interactive wrapper generation with minimal user effort
While much of the data on the web is unstructured in nature, there is also a significant amount of embedded structured data, such as product information on e-commerce sites or sto...
Utku Irmak, Torsten Suel
ECWEB
2000
Springer
110views ECommerce» more  ECWEB 2000»
13 years 11 months ago
Secure PC-Franking for Everyone
PC franking systems allow customers to download postage value into their PCs and to print postage value onto envelopes or mailing labels by using regular desktop printers connected...
Gerrit Bleumer