Sciweavers

3658 search results - page 409 / 732
» Founding properties on measurement
Sort
View
ACMICEC
2003
ACM
90views ECommerce» more  ACMICEC 2003»
16 years 6 hour ago
Automated analysis of P3P-enabled Web sites
The Platform for Privacy Preferences (P3P) provides a standard computer-readable format for privacy policies and a protocol that enables web browsers to read and process these pol...
Simon Byers, Lorrie Faith Cranor, David P. Kormann
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 12 months ago
Certifying Optimality of State Estimation Programs
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, ...
ICARCV
2002
IEEE
131views Robotics» more  ICARCV 2002»
15 years 11 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...
ICDCS
2002
IEEE
15 years 11 months ago
An Optimal Strategy for Anonymous Communication Protocols
For many Internet applications, the ability to protect the identity of participants in a distributed applications is critical. For such applications, a number of anonymous communi...
Yong Guan, Xinwen Fu, Riccardo Bettati, Wei Zhao
148
Voted
ICPADS
2002
IEEE
15 years 11 months ago
Performance Evaluation of Router Switching Fabrics
Switching fabrics with distributed control for scalable routers have been proposed recently [7]. Such a fabric consists of small routing units (RU’s) interconnected by multistag...
Nian-Feng Tzeng, Malcolm Mandviwalla