Sciweavers

3443 search results - page 221 / 689
» More Algebras for Determiners
Sort
View
102
Voted
ISSRE
2003
IEEE
15 years 6 months ago
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
Ruilian Zhao, Michael R. Lyu, Yinghua Min
ICDCSW
2002
IEEE
15 years 5 months ago
Quantifying Effect of Network Latency and Clock Drift on Time-Driven Key Sequencing
Time-driven Key Sequencing (TKS) is a key management technique that synchronizes the session key used by a set of communicating principals based on time of day. This relatively lo...
Geoffrey G. Xie, Cynthia E. Irvine, Timothy E. Lev...
93
Voted
KBSE
2002
IEEE
15 years 5 months ago
Deviation Analysis Through Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...
CCS
2000
ACM
15 years 5 months ago
Timing attacks on Web privacy
We describe a class of attacks that can compromise the privacy of users’ Web-browsing histories. The attacks allow a malicious Web site to determine whether or not the user has ...
Edward W. Felten, Michael A. Schneider
92
Voted
ICRA
1999
IEEE
97views Robotics» more  ICRA 1999»
15 years 5 months ago
Using Infrared Sensors and the Phong Illumination Model to Measure Distances
Currently, the viability of infrared IR as an accurate means of measuring distance depends on extensive prior knowledge of the surface. More speci cally, the manner in which a sur...
Paul M. Novotny, Nicola J. Ferrier