7393 search results - page 568 / 1479 » Synthesis-for-testability using transformations |
246
click to vote
IHIS
2005
ACM
16 years 1 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
251
Voted
ACISP
2005
Springer
16 years 29 days ago
2005
Springer
Biometric based authentication can provide strong security guarantee about the identity of users. Security of biometric data is particularly important as compromise of the data wil...
223
Voted
CIKM
2005
Springer
16 years 29 days ago
2005
Springer
We present data representations, distance measures and organizational structures for fast and efficient retrieval of similar shapes in image databases. Using the Hough Transform w...
210
click to vote
DBPL
2005
Springer
16 years 29 days ago
2005
Springer
XML is successful as a machine processable data interchange format, but it is often too verbose for human use. For this reason, many XML languages permit an alternative more legib...
186
Voted
SIGADA
2005
Springer
16 years 27 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...