Sciweavers

2223 search results - page 199 / 445
» Events in Property Patterns
Sort
View
97
Voted
BPM
2009
Springer
119views Business» more  BPM 2009»
15 years 10 months ago
A Formal Model for Process Context Learning
Process models are considered to be a major asset in modern business organizations. They are expected to apply to all the possible business contexts in which the process may be exe...
Johny Ghattas, Pnina Soffer, Mor Peleg
130
Voted
CONCUR
2009
Springer
15 years 10 months ago
Model-Checking Games for Fixpoint Logics with Partial Order Models
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
Julian Gutierrez, Julian C. Bradfield
105
Voted
JAIR
2008
94views more  JAIR 2008»
15 years 3 months ago
The Ultrametric Constraint and its Application to Phylogenetics
A phylogenetic tree shows the evolutionary relationships among species. Internal nodes of the tree represent speciation events and leaf nodes correspond to species. A goal of phyl...
Neil C. A. Moore, Patrick Prosser
130
Voted
PPL
2008
88views more  PPL 2008»
15 years 3 months ago
The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks
Fault-tolerance and lookup consistency are considered crucial properties for building applications on top of structured overlay networks. Many of these networks use the ring topol...
Boris Mejías, Peter Van Roy
ICC
2008
IEEE
112views Communications» more  ICC 2008»
15 years 10 months ago
Impact of Super-Diffusive Behavior on Routing Performance in Delay Tolerant Networks
— Motivated by the recent findings of super-diffusive patterns in mobility traces, we investigate the impact of superdiffusive behavior of mobile nodes on contact-based metrics ...
Sungwon Kim, Do Do Eun