Sciweavers

2021 search results - page 216 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
WACV
2005
IEEE
16 years 1 days ago
Mapping the Physical Properties of Cosmic Hot Gas with Hyper-Spectral Imaging
A novel inversion technique is proposed to compute parametric maps showing the temperature, density and chemical composition of cosmic hot gas from X-ray hyper-spectral images. Th...
Mark O'Dwyer, Ela Claridge, Trevor Ponman, Somak R...
CSFW
1999
IEEE
15 years 10 months ago
Security Function Interactions
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...
Pierre Bieber
LICS
1997
IEEE
15 years 10 months ago
Semantics of Exact Real Arithmetic
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
Peter John Potts, Abbas Edalat, Martín H&ou...
STOC
1994
ACM
108views Algorithms» more  STOC 1994»
15 years 10 months ago
Pseudorandomness for network algorithms
We define pseudorandom generators for Yao's twoparty communication complexity model and exhibit a simple construction, based on expanders, for it. We then use a recursive com...
Russell Impagliazzo, Noam Nisan, Avi Wigderson
CSFW
2006
IEEE
15 years 10 months ago
Types and Effects for Secure Service Orchestration
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...