1187 search results - page 115 / 238 » Graph-Based Procedural Abstraction |
124
click to vote
ESORICS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The design and implementation of security threat mitigation mechanisms in RFID systems, specially in low-cost RFID tags, are gaining great attention in both industry and ...
203
Voted
WFLP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on embedded systems and games. Two key points in the design of the language that led to...
107
click to vote
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
112
click to vote
CIE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
109
click to vote
CSL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...