2006 search results - page 372 / 402 » Instrumenting the Dynamic Web |
SAS
2010
Springer
13 years 6 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
CISIS
2009
IEEE
13 years 5 months ago
2009
IEEE
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...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--In this work, we address the performance problems that arise when unicast security protocols IPSEC and SSL are applied for securing the end-to-end communication in hybrid...
ICDE
2009
IEEE
13 years 5 months ago
2009
IEEE
Nowadays contents in Internet like weblogs, wikipedia and news sites become "live". How to notify and provide users with the relevant contents becomes a challenge. Unlike...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We present an architecture of a hosting system consisting of a set of hosted Web Services subject to QoS constraints, and a certain number of servers used to run users demand. The ...