1270 search results - page 149 / 254 » IF Validation Environment Tutorial |
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
ICSE
1997
IEEE-ACM
14 years 2 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
UAI
2008
14 years 6 days ago
2008
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
FLAIRS
2006
14 years 5 days ago
2006
Wireless sensor networks are composed of a number of sensors probing their surroundings and disseminating the collected data to a gateway node for processing. Numerous military an...
ICWS
2004
IEEE
14 years 5 days ago
2004
IEEE
Next-generation Government Information Systems will integrate large amounts of heterogeneous data sources located on distributed networks like the Internet. We present Net Travele...