2432 search results - page 448 / 487 » Cryptographic logical relations |
124
Voted
PASTE
2010
ACM
15 years 2 months ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
138
click to vote
UTP
2010
15 years 2 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
151
click to vote
DLOG
2010
15 years 2 months ago
2010
The task of generating referring expressions, an important subtask of Natural Language Generation is to generate phrases that uniquely identify domain entities. Until recently, man...
148
click to vote
DLOG
2010
15 years 2 months ago
2010
ABox Reasoning in large scale description logic (DL) knowledge bases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing appro...
128
click to vote
FMICS
2010
Springer
15 years 1 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...