551 search results - page 106 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
PERVASIVE
2010
Springer
13 years 9 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
SMA
2009
ACM
14 years 2 months ago
2009
ACM
Collision detection in geometrically complex scenes is crucial in physical simulations and real time applications. Works based on spatial hierarchical structures have been propose...
EUROGRAPHICS
2010
Eurographics
14 years 3 months ago
2010
Eurographics
When simulating fluids, tetrahedral methods provide flexibility and ease of adaptivity that Cartesian grids find difficult to match. However, this approach has so far been lim...
NDSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Linking network flows is an important problem in intrusion detection as well as anonymity. Passive traffic analysis can link flows but requires long periods of observation to r...
NLP
2000
13 years 11 months ago
2000
Abstract. The purpose of this paper is (1) to provide a theoretical justification for the use of Monte-Carlo sampling for approximate resolution of NP-hard maximization problems in...