Sciweavers

2211 search results - page 214 / 443
» Robustness of Model-Based Simulations
Sort
View
FORMATS
2005
Springer
15 years 9 months ago
Quantifying Similarities Between Timed Systems
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Pr...
GRID
2004
Springer
15 years 9 months ago
MARS: A Metascheduler for Distributed Resources in Campus Grids
Computational grids are increasingly being deployed in campus environments to provide unified access to distributed and heterogeneous resources such as clusters, storage arrays, ...
Abhijit Bose, Brian Wickman, Cameron Wood
ISCIS
2003
Springer
15 years 9 months ago
Multiple Description Coding for Image Data Hiding in the Spatial Domain
In this paper, we develop a robust image data hiding scheme based on multiple description coding of the signature image. At the transmitter, the signature image is encoded by balan...
Mohsen Ashourian, Yo-Sung Ho
ICARCV
2002
IEEE
131views Robotics» more  ICARCV 2002»
15 years 9 months ago
Active insulin infusion control of the blood glucose derivative
Close control of blood glucose levels significantly reduces vascular complications in Type I diabetes. A control method focusing on the rate of change of blood glucose level is de...
J. Geoffrey Chase, Z.-H. Lam, J.-Y. Lee, K.-S. Hwa...
INFOCOM
2002
IEEE
15 years 9 months ago
Detecting SYN Flooding Attacks
Abstract—We propose a simple and robust mechanism for detecting SYN flooding attacks. Instead of monitoring the ongoing traffic at the front end (like firewall or proxy) or a ...
Haining Wang, Danlu Zhang, Kang G. Shin