1818 search results - page 282 / 364 » Granularity-Adaptive Proof Presentation |
172
click to vote
ECBS
2003
IEEE
16 years 2 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
173
click to vote
ISCAS
2003
IEEE
16 years 1 days ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
171
click to vote
AOSE
2003
Springer
16 years 11 hour ago
2003
Springer
We present our Component-Based Agent Framework, which enables a software engineer to design a set of agents by using a visual compo nent-based toolkit (Sun’s BDK), and wiring tog...
164
click to vote
CHARME
2003
Springer
16 years 7 hour ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
154
click to vote
CONCUR
2003
Springer
16 years 6 hour ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...