943 search results - page 48 / 189 » Property-Driven Scenario Integration |
189
Voted
PTS
2010
15 years 1 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
132
click to vote
GVD
2009
15 years 1 months ago
2009
Evaluating a traditional database query against a data tuple returns a true on match and a false on mismatch. Unfortunately, there are many application scenarios where such an eva...
119
Voted
ICPR
2010
IEEE
15 years 20 days ago
2010
IEEE
We present a method for object tracking over time sequence imagery. The image plane is represented with a 4-connected planar graph where vertices are associated with pixels. On ea...
212
Voted
WD
2010
14 years 10 months ago
2010
Application Layer Multicast (ALM) has become a popular form of content distribution. It shows some favourable properties like inherent scalability and the overcoming of the traditi...
144
Voted
EWSN
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We describe a software framework for prescribing the trajectory path of a mobile sink in a wireless sensor network under an extensible set of optimization criteria. The f...