1133 search results - page 57 / 227 » Local Logics for Traces |
126
Voted
CGO
2006
IEEE
15 years 6 months ago
2006
IEEE
Software prefetching has been demonstrated as a powerful technique to tolerate long load latencies. However, to be effective, prefetching must target the most critical (frequently...
109
Voted
ILP
2007
Springer
15 years 7 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
126
Voted
SAS
2007
Springer
15 years 6 months ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
119
Voted
CSREASAM
2006
15 years 2 months ago
2006
: - Intrusion Detection Systems are increasingly a key part of systems defense. Various approaches to Intrusion Detection are currently being used, but they are relatively ineffect...
124
click to vote
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...