6608 search results - page 1283 / 1322 » On the Completeness of Model Checking |
190
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
160
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
We believe that there is a very strong need for an environment to support research and experiments on model-driven engineering. Therefore we have started the TopModL project, an o...
161
click to vote
WAW
2004
Springer
15 years 11 months ago
2004
Springer
d Abstract) Paolo Boldi† Massimo Santini‡ Sebastiano Vigna∗ Deciding which kind of visit accumulates high-quality pages more quickly is one of the most often debated issue i...
184
click to vote
WDAG
2004
Springer
15 years 11 months ago
2004
Springer
In a Byzantine agreement protocol, a synchronous network of n interconnected processes of which t may be faulty, starts with an initial binary value associated with each process; a...
166
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper is focused on the coordination of order and production policy between buyers and suppliers in supply chains. When a buyer and a supplier of an item work independently, ...