920 search results - page 5 / 184 » Computing the Frequency of Partial Orders |
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
CONCUR
2003
Springer
14 years 25 days ago
2003
Springer
ASM
2000
ASM
13 years 12 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...
ICPR
2008
IEEE
14 years 2 months 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...
CONCUR
1997
Springer
13 years 11 months ago
1997
Springer
Eventstructuremodelsoftenhavesomeconstraintwhichensuresthatforeachsystemrunitisclearwhatarethecausalpredecessorsofanevent(i.e. there is no causal ambiguity). In this contribution w...