2686 search results - page 216 / 538 » Using a neural network in the software testing process |
153
click to vote
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
164
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
116
click to vote
LCN
2002
IEEE
15 years 9 months ago
2002
IEEE
In wireless networks, as in many areas of engineering, simulation has been the de-facto standard for testing, dimensioning and analyzing mobile protocols. Emulation, which present...
143
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we are interested in the relationship between final prices of online auctions and possible shill activities during those auctions. We conduct experiments on real auc...
134
click to vote
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Path integration is a widely used method of navigation in nature whereby an animal continuously tracks its location by integrating its motion over the course of a journey...