858 search results - page 89 / 172 » Formal Verification of Digital Systems |
129
click to vote
IQIS
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we consider two important problems that commonly occur in bibliographic digital libraries, which seriously degrade their data qualities: Mixed Citation (MC) problem...
123
click to vote
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
Intelligibility, evolution and emulation are some of the key notions for digital information preservation. In this paper we define formally these notions on the basis of modules a...
138
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
164
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
119
click to vote
BDA
2006
15 years 5 months ago
2006
We consider a publish/subscribe system for digital libraries which continuously evaluates queries over a large repository containing document descriptions. The subscriptions, the ...