157 search results - page 24 / 32 » Universally Composable Signcryption |
MICCAI
2001
Springer
14 years 2 days ago
2001
Springer
The quality of ultrasound based diagnosis highly depends on the operator’s skills. Some healthcare centres may not have the required medical experts on hand when needed and there...
HICSS
1999
IEEE
13 years 12 months ago
1999
IEEE
The ELECTROPIA is a CALS/EC engine developed by the Korea CALS/EC Association composed of the government, several universities, and many small and big companies in Korea, in order...
ICECCS
1999
IEEE
13 years 12 months ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
SIGSOFT
1996
ACM
13 years 11 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...