4276 search results - page 474 / 856 » Techniques for Empirical Validation |
158
click to vote
ICRA
2003
IEEE
16 years 5 hour ago
2003
IEEE
Real-world objects exhibit rich physical interaction behaviours on contact. Such behaviours depend on how heavy and hard it is when held, how its surface feels when touched, how i...
174
click to vote
QSIC
2003
IEEE
15 years 12 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
191
click to vote
SSDBM
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we define several disclosure risk measures for microdata. We will analyze disclosure risk based on the disclosure control techniques applied to initial microdata. D...
172
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...
149
click to vote
ICES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. As mobile devices become more powerful, interprocess communication becomes increasingly more important. Unfortunately, this larger freedom of mobility gives rise to unkno...