11328 search results - page 342 / 2266 » Timed Branching Processes |
143
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary...
146
click to vote
SIAMAM
2010
15 years 3 months ago
2010
A model equation for gravity-capillary waves in deep water is proposed. This model is a quadratic approximation of the deep water potential flow equations, and has wavepacket-type...
137
click to vote
TVCG
2010
15 years 3 months ago
2010
—We report a series of experiments conducted to investigate the effects of travel technique on information gathering and cognition in complex virtual environments. In the first e...
180
Voted
FORTE
2009
15 years 2 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
148
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: GPS technology has made it possible to evaluate the performance of outdoor advertising campaigns in an objective manner. Given the GPS trajectories of a sample of test pe...