Sciweavers

9370 search results - page 153 / 1874
» An Abstract Notion of Application
Sort
View
TIT
2010
112views Education» more  TIT 2010»
14 years 7 months ago
Twice-universal simulation of Markov sources and individual sequences
Abstract-- The problem of universal simulation given a training sequence is studied both in a stochastic setting and for individual sequences. In the stochastic setting, the traini...
Alvaro Martín, Neri Merhav, Gadiel Seroussi...
84
Voted
ICALP
1989
Springer
15 years 5 months ago
Causal Trees
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
Philippe Darondeau, Pierpaolo Degano
94
Voted
ENTCS
2006
150views more  ENTCS 2006»
15 years 1 months ago
Causality Versus True-Concurrency
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
Sibylle B. Fröschle, Slawomir Lasota
97
Voted
IANDC
2006
77views more  IANDC 2006»
15 years 1 months ago
Lower and upper bounds on obtaining history independence
Abstract. History independent data structures, presented by Micciancio, are data structures that possess a strong security property: even if an intruder manages to get a copy of th...
Niv Buchbinder, Erez Petrank
129
Voted
WCRE
2007
IEEE
15 years 7 months ago
A Model to Understand the Building and Running Inter-Dependencies of Software
The notion of functional or modular dependency is fundamental to understand the architecture and inner workings of any software system. In this paper, we propose to extend that no...
Daniel M. Germán, Jesús M. Gonz&aacu...