4511 search results - page 787 / 903 » Observation Based System Security |
ISCA
1993
IEEE
15 years 2 months ago
1993
IEEE
Virtual memoy page translation tables provide mappings from virtual to physical addresses. When the hardware controlled Tratmlation L.ookaside Buffers (TLBs) do not contain a tran...
ACII
2007
Springer
15 years 2 months ago
2007
Springer
The recognition of affective human communication may be used to provide developers with a rich source of information for creating systems that are capable of interacting well with ...
ALGOSENSORS
2004
Springer
15 years 1 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Online communities increasingly rely on reputation information to foster cooperation and deter cheating. As rational agents can often benefit from misreporting their observations,...
FMCAD
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...