2268 search results - page 332 / 454 » The Essence of Form Abstraction |
125
click to vote
DAGSTUHL
1996
15 years 2 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
106
click to vote
CCGRID
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--We present a fault tolerant task pool execution environment that is capable of performing fine-grain selective restart using a lightweight, distributed task completion tr...
106
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
109
click to vote
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
131
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Recent emergence of RFID tags capable of performing public key operations motivates new RFID applications, including electronic travel documents, identification cards and...