Sciweavers

2413 search results - page 327 / 483
» Models for universal usability
Sort
View
CONCUR
1999
Springer
14 years 3 months ago
Robust Satisfaction
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
Orna Kupferman, Moshe Y. Vardi
FM
1999
Springer
111views Formal Methods» more  FM 1999»
14 years 3 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
CHES
2008
Springer
260views Cryptology» more  CHES 2008»
14 years 23 days ago
Mutual Information Analysis
We propose a generic information-theoretic distinguisher for differential side-channel analysis. Our model of side-channel leakage is a refinement of the one given by Standaert et ...
Benedikt Gierlichs, Lejla Batina, Pim Tuyls, Bart ...
ACMSE
2005
ACM
14 years 23 days ago
Simulating application level self-similar network traffic using hybrid heavy-tailed distributions
Many networking researches depend on an accurate simulation of network traffic. For example, Intrusion Detection Systems generally require tuning to be effective in each new envir...
Song Luo, Gerald A. Marin
TRECVID
2008
14 years 5 days ago
Beyond Semantic Search: What You Observe May Not Be What You Think
This paper presents our approaches and results of the four TRECVID 2008 tasks we participated in: high-level feature extraction, automatic video search, video copy detection, and ...
Chong-Wah Ngo, Yu-Gang Jiang, Xiao-Yong Wei, Wanle...