3970 search results - page 661 / 794 » A Logic For Causal Reasoning |
150
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
140
click to vote
TRUSTBUS
2007
Springer
15 years 10 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
110
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...
102
click to vote
IEEECIT
2006
IEEE
15 years 10 months ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...
138
click to vote
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Event detection and tracking are attractive research issues in the wireless sensor network (WSN). The paper proposes a fully distributed protocol, CollECT, to event detection and ...