3192 search results - page 476 / 639 » Translating Model Simulators to Analysis Models |
134
Voted
ESORICS
2011
Springer
14 years 3 months ago
2011
Springer
We explore the suitability of Dolev-Yao-based attacker models for the security analysis of wireless communication. The Dolev-Yao model is commonly used for wireline and wireless ne...
141
Voted
VIS
2004
IEEE
16 years 4 months ago
2004
IEEE
We investigate two important, common fluid flow patterns from computational fluid dynamics (CFD) simulations, namely, swirl and tumble motion typical of automotive engines. We stu...
178
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Designing appropriate machine learning methods for identifying genes that have a significant discriminating power for disease outcomes has become more and more importa...
113
Voted
ICCD
2005
IEEE
16 years 19 days ago
2005
IEEE
Bulk data movement occurs commonly in server workloads and their performance is rather poor on today’s microprocessors. We propose the use of small dedicated copy engines, and p...
140
Voted
LATA
2009
Springer
15 years 10 months ago
2009
Springer
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...