920 search results - page 5 / 184 » Computing the Frequency of Partial Orders |
135
Voted
ASM
2000
ASM
15 years 10 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
156
Voted
ICPR
2008
IEEE
16 years 11 days ago
2008
IEEE
In this paper we propose a new partial closure-based constrained clustering algorithm. We introduce closures into the partial constrained clustering and we propose a new measureme...
131
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
Eventstructuremodelsoftenhavesomeconstraintwhichensuresthatforeachsystemrunitisclearwhatarethecausalpredecessorsofanevent(i.e. there is no causal ambiguity). In this contribution w...