Sciweavers

1720 search results - page 136 / 344
» eg 2008
Sort
View
ENTCS
2008
87views more  ENTCS 2008»
15 years 6 months ago
Remote Attestation on Legacy Operating Systems With Trusted Platform Modules
A lot of progress has been made to secure network communication, e.g., through the use of cryptographic algorithms. However, this offers only a partial solution as long as the com...
Dries Schellekens, Brecht Wyseur, Bart Preneel
ENTCS
2008
91views more  ENTCS 2008»
15 years 6 months ago
A Name Abstraction Functor for Named Sets
bstraction Functor for Named Sets Vincenzo Ciancia 1 Ugo Montanari 1 Department of Computer Science University of Pisa lem of dening fully abstract operational models of name pass...
Vincenzo Ciancia, Ugo Montanari
ENTCS
2008
115views more  ENTCS 2008»
15 years 6 months ago
Time Separation of Events: An Inverse Method
The problem of "time separation" can be stated as follows: Given a system made of several connected components, each one entailing a local delay known with uncertainty, ...
Emmanuelle Encrenaz, Laurent Fribourg
EOR
2008
95views more  EOR 2008»
15 years 6 months ago
Augmenting the lot sizing order quantity when demand is probabilistic
In this paper we consider a single item, discrete time, lot sizing situation where demand is random and its parameters (e.g., mean and standard deviation) can change with time. Fo...
I. Nyoman Pujawan, Edward A. Silver
EXPERT
2008
78views more  EXPERT 2008»
15 years 6 months ago
Odor Recognition for Intelligent Systems
An electronic nose (e-nose) is an intelligent sensing device that uses an array of gas sensors of partial and overlapping selectivity along with a pattern recognition component to...
Amy Loutfi, Silvia Coradeschi