1228 search results - page 111 / 246 » Continuations, proofs and tests |
174
click to vote
ASM
2010
ASM
16 years 24 days ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
156
click to vote
CSL
2009
Springer
16 years 16 days ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
148
Voted
FUZZIEEE
2007
IEEE
16 years 9 days ago
2007
IEEE
— Reinforcement learning (RL) is a learning control paradigm that provides well-understood algorithms with good convergence and consistency properties. Unfortunately, these algor...
136
click to vote
INFOCOM
2007
IEEE
16 years 8 days ago
2007
IEEE
— One practical limitation of structured peer-to-peer (P2P) networks is that they are frequently subject to Sybil attacks: malicious parties can compromise the network by generat...
146
Voted
IPPS
2007
IEEE
16 years 8 days ago
2007
IEEE
Fast hardware turnover in supercomputing centers, stimulated by rapid technological progress, results in high heterogeneity among HPC platforms, and necessitates that applications...