268 search results - page 30 / 54 » A Test Generation Framework for quiescent Real-Time Systems |
PTS
2010
13 years 6 months ago
2010
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
TAP
2010
Springer
13 years 5 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
Wireless Sensor Networks (WSNs) are no longer a nascent technology and today, they are actively deployed as a viable technology in many diverse application domains such as health ...
ISPW
2007
IEEE
14 years 1 months ago
2007
IEEE
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
The integration of heterogenous data sources is a crucial step for the upcoming semantic web – if existing information is not integrated, where will the data come from that the s...