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