1799 search results - page 199 / 360 » The Logic of Correctness in Software Engineering |
184
click to vote
QSIC
2007
IEEE
16 years 25 days ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
190
click to vote
QSIC
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper proposes a stochastic voting for testing a large number of Web Services (WS) under group testing. In the future, a large number of WS will be available and they need to...
173
click to vote
RE
2005
Springer
16 years 1 days ago
2005
Springer
Defect reports generated for faults found during testing provide a rich source of information regarding problematic phrases used in requirements documents. These reports indicate ...
184
click to vote
SEW
2003
IEEE
15 years 11 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
177
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
Because of its promise of natural interaction, recognition is coming into its own as a mainstream technology for use with computers. Both commercial and research applications are ...