7335 search results - page 1105 / 1467 » Scene Based Reasoning |
200
Voted
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
163
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— It is known that next generation mobile comunications systems will most likely employ multi-cell signal processing often referred to as network MIMO - in order to impro...
217
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Congestion control in wireless multi-hop networks is challenging and complicated because of two reasons. First, interference is ubiquitous and causes loss in the shared medium. ...
186
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
197
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...