3130 search results - page 27 / 626 » Design Correctness of Digital Systems |
IDEAS
1998
IEEE
13 years 12 months ago
1998
IEEE
We develop an infrastructure for managing, indexing and serving multimedia content in digital libraries. This infrastructure follows the model of the web, and thereby is distribut...
ACMDIS
2006
ACM
14 years 1 months ago
2006
ACM
Automatic capture technology could enable students to record and index much information—both digital and nondigital—with little extra effort. Can this technology be designed t...
JUCS
2007
13 years 7 months ago
2007
: The issue addressed in this paper focuses on the design and implementation of an advanced information system for Cultural Organizations, which serves as a platform for the exploi...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
IJDE
2007
13 years 7 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...