3307 search results - page 534 / 662 » The meaning of concurrent programs |
207
click to vote
AGP
2003
IEEE
16 years 5 days 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...
186
click to vote
IPPS
2003
IEEE
16 years 4 days 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...
179
click to vote
ISSRE
2003
IEEE
16 years 4 days 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...
177
click to vote
PODC
2003
ACM
16 years 3 days 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...
171
click to vote
GREC
2003
Springer
16 years 2 days 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...