1523 search results - page 128 / 305 » Partially ordered secretaries |
89
Voted
ICCD
1999
IEEE
15 years 5 months ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...
87
Voted
APN
1999
Springer
15 years 5 months ago
1999
Springer
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
126
Voted
CONCUR
1999
Springer
15 years 5 months ago
1999
Springer
We present several interpretations of the behavior of P/T nets in terms of traces, event structures, and partial orders. Starting from results of Hoogers, Kleijn and Thiagarajan, w...
97
Voted
ISIPTA
1999
IEEE
15 years 5 months ago
1999
IEEE
Several approaches to the product of non-additive monotone measures or capacities are discussed and a new approach is proposed. It starts with the Mobius product 2 of totally mono...
105
click to vote
CAV
1994
Springer
15 years 4 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...