1082 search results - page 65 / 217 » tools 2000 |
CODES
2000
IEEE
14 years 2 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
NDSS
2000
IEEE
14 years 2 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
WSC
2000
13 years 11 months ago
2000
Simulation modeling is being widely used in areas such as manufacturing, health, network communications and military. Such popularity of simulation has resulted in a large number ...
WCRE
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes ongoing work toward the development of a standard software exchange format (SEF), for exchanging information among tools that analyze computer programs. A par...
RIAO
2000
13 years 11 months ago
2000
This article deals with telemedicine and in particular with telesonography. Telesonography is real-time video collaboration for remote ultrasound examinations. We present here an ...