399 search results - page 33 / 80 » Combining the Animation and Testing of Abstract Data Types |
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
ICDM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--This paper presents a similarity measure that combines low-level trajectory information with geographical domain knowledge to compare vessel trajectories. The similarity ...
COOPIS
2004
IEEE
14 years 26 days ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
COMPSEC
2004
13 years 9 months ago
2004
Abstract Up to now biometric methods have been used in cryptography for authentication purposes. In this paper we propose to use biological data for generating sequences of random ...
WISE
2000
Springer
14 years 1 months ago
2000
Springer
The mediator/wrapper approach is used to integrate data from different databases and other data sources by introducing a middleware virtual database that provides high level abstr...