5128 search results - page 319 / 1026 » When Abstraction Fails |
185
Voted
FASE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
191
click to vote
ISW
2000
Springer
15 years 11 months ago
2000
Springer
We propose a simple classification method for public-key based authentication protocols, which consists of identifying several basic properties leading to a large number of generic...
191
Voted
FLAIRS
2008
15 years 9 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
220
click to vote
APPROX
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper, we propose a general framework for designing fully polynomial time approximation schemes for combinatorial optimization problems, in which more than one ob...
193
Voted
AUSAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. It is known from psychology and neuroscience that multimodal integration of sensory information enhances the perception of stimuli that are corrupted in one or more modal...