4255 search results - page 489 / 851 » Cover |
187
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
176
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Ontologies are tools for describing and structuring knowledge, with many applications in searching and analyzing complex knowledge bases. Since building them manually is ...
174
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
164
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
Tennenholtz (GEB 2004) developed Program Equilibrium to model play in a finite twoplayer game where each player can base their strategy on the other player’s strategies. Tennen...
159
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
We present a simple algorithmic extension of the classical call-strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spuriou...