Sciweavers

193 search results - page 3 / 39
» Events, Causality and Symmetry
Sort
View
WSC
2007
13 years 7 months ago
Sensitivity analysis on causal events of WIP bubbles by a log-driven simulator
Fluctuations of work-in-progress (WIP) levels cause variability of cycle time and often lead to productivity losses in semiconductor wafer fabrication plants. To identify sources ...
Ryo Hirade, Rudy Raymond, Hiroyuki Okano
NDSS
2005
IEEE
13 years 10 months ago
Enriching Intrusion Alerts Through Multi-Host Causality
Current intrusion detection systems point out suspicious states or events but do not show how the suspicious state or events relate to other states or events in the system. We sho...
Samuel T. King, Zhuoqing Morley Mao, Dominic G. Lu...
KR
2004
Springer
13 years 10 months ago
Causation and Causal Conditionals
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
John Bell
CONCUR
1997
Springer
13 years 9 months ago
Causal Ambiguity and Partial Orders in Event Structures
Eventstructuremodelsoftenhavesomeconstraintwhichensuresthatforeachsystemrunitisclearwhatarethecausalpredecessorsofanevent(i.e. there is no causal ambiguity). In this contribution w...
Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
ENTCS
2007
98views more  ENTCS 2007»
13 years 5 months ago
Event Structures with Symmetry
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, no...
Glynn Winskel