6941 search results - page 770 / 1389 » Testing as a Certification Approach |
176
click to vote
ICITA
2005
IEEE
16 years 25 days ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...
221
click to vote
ICMCS
2005
IEEE
16 years 25 days ago
2005
IEEE
A method is proposed for viewing broadcast content that converts TV programs into Web content and integrates the results with complementary information retrieved using the Interne...
219
click to vote
ICMCS
2005
IEEE
16 years 25 days ago
2005
IEEE
An integrated, reconfigurable, adaptable and open system for mining, indexing and retrieving multimedia information based on a mobile agent technology scheme is presented. The sys...
195
click to vote
ICRA
2005
IEEE
16 years 25 days ago
2005
IEEE
Abstract— In the context of virtualized reality based telemicromanipulation, we present in this paper a visual calibration technique for optical microscope coupled with a CCD cam...
161
click to vote
ICSM
2005
IEEE
16 years 25 days ago
2005
IEEE
We have built a software development tool, CLIME, that uses constraints to ensure the consistency of the different artifacts associated with software. This approach to software dev...