2021 search results - page 99 / 405 » COCO: Composition Model and Composition Model Implementation |
128
Voted
ENTCS
2006
15 years 4 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
135
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
126
Voted
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
137
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition allows for sequential composition of protocols. Damg...
125
click to vote
OOIS
1997
Springer
15 years 8 months ago
1997
Springer
Subjects model di erent perspectives on a problem domain by collections of related class hierarchies. Subjects can be seen as the result of separate and possibly independent devel...