1709 search results - page 221 / 342 » networks 2000 |
DSN
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
ICNP
2000
IEEE
14 years 1 months ago
2000
IEEE
A scalable object location service can enable users to search for various objects in an environment where many small, networked devices are attached to objects. We investigate two...
SIGSOFT
2000
ACM
14 years 1 months ago
2000
ACM
Fuzzing is a well-known black-box approach to the security testing of applications. Fuzzing has many advantages in terms of simplicity and effectiveness over more complex, expensi...
ESORICS
2000
Springer
14 years 17 days ago
2000
Springer
The ATM technology has been specified to provide users with the ability to request quality of service (QoS) for their applicatio ns and to enable high speed communications. Howeve...
CLUSTER
2000
IEEE
14 years 1 months ago
2000
IEEE
Simulating the propagation of 3D ultrasonic waves in a nonlinear medium is a demanding task. It requires the solution of time-dependent and nonlinear partial differential equation...