182 search results - page 18 / 37 » mc 2001 |
CHARME
2001
Springer
14 years 8 days ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
ECIS
2001
13 years 10 months ago
2001
The progression of implementation of an information systems strategy in a UK acute hospital is described. The case study describes the IS strategy, the conditions that led to its ...
ICCAD
2001
IEEE
14 years 5 months ago
2001
IEEE
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
SEMWEB
2001
Springer
14 years 1 months ago
2001
Springer
Some aspects of W3C's RDF Model and Syntax Specification require careful reading and interpretation to produce a conformant implementation. Issues have arisen around anonymou...
ACSAC
2001
IEEE
14 years 8 days ago
2001
IEEE
This paper describes an extension to abuse-casebased security requirements analysis that provides a lightweight means of increasing assurance in security relevant software. The ap...