7766 search results - page 1043 / 1554 » Testing Nondeterminate Systems |
172
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Systems based on satellite localization are enabling new scenarios for road charging schemes by offering the possibility to charge drivers as a function of their road usage. An ...
173
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
179
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
A project to enable health care professionals (GPs, practice nurses and diabetes nurse specialists) to access, via the Internet, confidential patient data held on a secondary care...
185
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
149
Voted
ITS
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...