1992 search results - page 64 / 399 » Model Based Testing with Labelled Transition Systems |
148
Voted
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
115
click to vote
TCS
2008
15 years 2 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
196
Voted
ECBS
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Suc...
117
click to vote
CBSE
2008
Springer
15 years 4 months ago
2008
Springer
Component based development of software systems needs to devise effective test management strategies in order fully achieve its perceived advantages of cost efficiency, flexibility...
124
click to vote
SPEECH
2010
15 years 25 days ago
2010
Missing data methods attempt to improve robust speech recognition by distinguishing between reliable and unreliable data in the time-frequency domain. Such methods require a binar...