443 search results - page 2 / 89 » The logic of events |
EUSFLAT
2009
13 years 5 months ago
2009
LICS
2003
IEEE
14 years 27 days ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
TIME
2006
IEEE
14 years 1 months ago
2006
IEEE
