Sciweavers

4420 search results - page 332 / 884
» Evaluating a Computational Model of Emotion
Sort
View
NDSS
2006
IEEE
16 years 1 months ago
Modeling Botnet Propagation Using Time Zones
Time zones play an important and unexplored role in malware epidemics. To understand how time and location affect malware spread dynamics, we studied botnets, or large coordinated...
David Dagon, Cliff Changchun Zou, Wenke Lee
CGF
2006
263views more  CGF 2006»
15 years 7 months ago
A Predictive Light Transport Model for the Human Iris
Recently, light interactions with organic matter have become the object of detailed investigations by image synthesis researchers. Besides allowing these materials to be rendered ...
Michael W. Y. Lam, Gladimir V. G. Baranoski
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 6 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
ICC
2007
IEEE
165views Communications» more  ICC 2007»
16 years 1 months ago
Oblivious Keyword Search Protocols in the Public Database Model
— Databases associated with keywords, can be public, private or hybrid, as a result the solutions to keyword search protocols for each type are different. In this paper, we study...
Huafei Zhu, Feng Bao
SACMAT
2006
ACM
16 years 1 months ago
The secondary and approximate authorization model and its application to Bell-LaPadula policies
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
Jason Crampton, Wing Leung, Konstantin Beznosov