6355 search results - page 1014 / 1271 » From Logic to Games |
144
click to vote
PADS
2004
ACM
16 years 3 days ago
2004
ACM
In optimistic simulations, checkpointing techniques are often used to reduce the overhead caused by state saving. In this paper, we propose event reconstruction as a technique wit...
163
click to vote
PLDI
2004
ACM
16 years 3 days ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
139
Voted
CCS
2004
ACM
16 years 2 days ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
178
click to vote
DEXA
2004
Springer
16 years 2 days ago
2004
Springer
Data cleaning deals with the detection and removal of errors and inconsistencies in data, gathered from distributed sources. This process is essential for drawing correct conclusio...
168
click to vote
DFG
2004
Springer
16 years 2 days ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...