126 search results - page 17 / 26 » Specifying and Generating Test Cases Using Observer Automata |
75
Voted
ECCV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Recent human vision research [1] suggests modelling preattentive texture segmentation by taking a set of feature samples from a local region on each side of a hypothesize...
PPPJ
2006
ACM
15 years 3 months ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
87
Voted
CMSB
2004
Springer
15 years 2 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
ICSOC
2010
Springer
14 years 8 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
100
click to vote
CCR
2011
14 years 4 months ago
2011
While analyzing CAIDA Internet traces of TCP traffic to detect instances of data reneging, we frequently observed seven misbehaviors in the generation of SACKs. These misbehaviors...