780 search results - page 120 / 156 » Correctness of Component-Based Adaptation |
CRYPTO
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Non-committing encryption enables the construction of multiparty computation protocols secure against an adaptive adversary in the computational setting where private cha...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
The automatic construction of classi ers programs able to correctly classify data collected from the real world is one of the major problems in pattern recognition and in a wide ar...
KBSE
1999
IEEE
14 years 1 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
WER
1999
Springer
14 years 1 months ago
1999
Springer
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood not only by requirements engineers but also by noncomputer...
ASSISTIVE
1998
Springer
14 years 1 months ago
1998
Springer
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...