12981 search results - page 2389 / 2597 » Model Checking (Abstract) |
170
click to vote
IEICET
2008
15 years 3 months ago
2008
Abstract--Vehicular ad hoc networks (VANET) aims to enhance vehicle navigation safety by providing an early warning system: any chance of accidents is informed through the wireless...
127
click to vote
CJ
2006
15 years 3 months ago
2006
Abstract. Uncertainty is an inherent property of all living systems. Curiously enough, computational models inspired by biological systems do not take, in general, under considerat...
138
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract--We address the maximum attainable rate of fingerprinting codes under the marking assumption, studying lower and upper bounds on the value of the rate for various sizes of...
104
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract In the emerging eScience environment, repositories of papers, datasets, software, etc., should be the foundation of a global and natively-digital scholarly communications ...
119
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...