Sciweavers

4307 search results - page 534 / 862
» Dynamic Spyware Analysis
Sort
View
IAT
2008
IEEE
15 years 10 months ago
An Agent Model for a Human's Functional State and Performance
This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support hu...
Tibor Bosse, Fiemke Both, Rianne van Lambalgen, Ja...
ICDE
2008
IEEE
161views Database» more  ICDE 2008»
15 years 10 months ago
On the semantics and evaluation of top-k queries in probabilistic databases
We formulate three intuitive semantic properties for topk queries in probabilistic databases, and propose GlobalTopk query semantics which satisfies all of them. We provide a dyn...
Xi Zhang, Jan Chomicki
FOCI
2007
IEEE
15 years 10 months ago
The Immune System in Pieces: Computational Lessons from Degeneracy in the Immune System
— The concept of degeneracy in biology, including the immune system, is well accepted and has been demonstrated to be present at many different levels. We explore this concept fr...
Miguel Mendao, Jonathan Timmis, Paul S. Andrews, M...
113
Voted
ISCAS
2007
IEEE
138views Hardware» more  ISCAS 2007»
15 years 10 months ago
A High-Speed Delta-Sigma Modulator with Relaxed DEM Timing Requirement
Abstract—This paper presents a high-speed digital feedforward Delta-Sigma Modulator which relaxes timing requirement for the Dynamic Element Matching (DEM) algorithm. By making t...
Sunwoo Kwon, Un-Ku Moon
152
Voted
ESORICS
2007
Springer
15 years 10 months ago
Adaptive Soundness of Static Equivalence
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
Steve Kremer, Laurent Mazaré