13140 search results - page 2542 / 2628 » Coupling Component Systems towards Systems of Systems |
150
click to vote
ASIACRYPT
2000
Springer
15 years 9 months ago
2000
Springer
We will describe the outline of the cryptographic technology evaluation project in Japan and those present conditions. The purpose of this project is that the cyptographic technolo...
139
click to vote
ADC
1999
Springer
15 years 9 months ago
1999
Springer
We introduce pseudo-naive evaluation, a method for execution of mixed top-down/bottom-up logic programs and deductive databases. The method is intermediate in power between naive ...
168
click to vote
CA
1998
IEEE
15 years 9 months ago
1998
IEEE
The importance of faces in human interaction explains the desire for synthetic faces as a communication vehicle in computer graphics. Unfortunately, animating a face is a very com...
153
click to vote
ADL
1998
Springer
15 years 9 months ago
1998
Springer
ct In this paper, we describe the VesaliusTM Project, a multi-modal collection of anatomical resourcesunder development at Columbia University. 1 Our focus is on the need for navig...
155
click to vote
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...