1550 search results - page 310 / 310 » Optimizing search by showing results in context |
ATVA
2009
Springer
13 years 12 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
HPCC
2011
Springer
12 years 5 months ago
2011
Springer
Abstract—In the Infrastructure-as-a-Service (IaaS) cloud computing market, spot instances refer to virtual servers that are rented via an auction. Spot instances allow IaaS provi...
ICIP
1997
IEEE
14 years 6 months ago
1997
IEEE
We present a new approach based on Partial Differential Equations (PDE) to restore noisy blurred images. After studying the methods to denoise images, staying as close as possible...
MOBISYS
2007
ACM
14 years 4 months ago
2007
ACM
In this work, we investigate the use of directional antennas and beam steering techniques to improve performance of 802.11 links in the context of communication between a moving v...
EUROPAR
2004
Springer
13 years 10 months ago
2004
Springer
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...