3307 search results - page 534 / 662 » The meaning of concurrent programs |
192
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
173
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
String comparison is a critical issue in many application domains, including speech recognition, contents search, and bioinformatics. The similarity between two strings of lengths...
164
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
164
click to vote
PODC
2003
ACM
15 years 11 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
161
click to vote
GREC
2003
Springer
15 years 11 months ago
2003
Springer
To date many methods and programs for automatic text recognition exist. However there are no effective text recognition systems for graphic documents. Graphic documents usually con...