3005 search results - page 362 / 601 » Logical Information Systems: from Taxonomies to Logics |
156
click to vote
IFIP
2005
Springer
16 years 5 days ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
176
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
157
click to vote
VTS
1998
IEEE
15 years 11 months ago
1998
IEEE
A fast fault-tolerant controller structure is presented, which is capable of recovering from transient faults by performing a rollback operation in hardware. The proposed fault-to...
161
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
Behavioral simulation is faster than gate-level logic simulation, however, the simulation speed is too slow for large systems. Simulation specific machines accelerated simulation ...
164
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...