3052 search results - page 9 / 611 » On the Verification of the Gravity Model Used for Mobility M... |
FCSC
2008
13 years 7 months ago
2008
The population protocol model [2] has emerged as an elegant computation paradigm for describing mobile ad hoc networks, consisting of a number of mobile nodes that interact with e...
SIMUTOOLS
2008
13 years 9 months ago
2008
Mobility and channel modeling is a very crucial task for the simulation of Vehicular Ad Hoc Network (VANET) scenarios. In this paper we present a new mobility modeling approach fo...
FDL
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
CIBSE
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
SIBGRAPI
2000
IEEE
13 years 12 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...