1341 search results - page 79 / 269 » Periods in Extensions of Words |
162
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
124
click to vote
ISI
2003
Springer
15 years 11 months ago
2003
Springer
In many intelligence and security tasks it is necessary to monitor data in database in order to detect certain events or changes. Currently, database systems offer triggers to pro...
151
click to vote
CSEE
2000
Springer
15 years 10 months ago
2000
Springer
Teaching provides many challenges. Presenting Software Engineering to students brings a teacher face to face with a most unwieldy subject. Packaging this subject for delivery to a...
162
click to vote
MSS
1999
IEEE
15 years 10 months ago
1999
IEEE
The supercomputer center, digital library, and archival storage communities have common persistent archival storage requirements. Each of these communities is building software in...
157
click to vote
ECRTS
2004
IEEE
15 years 9 months ago
2004
IEEE
We present a task model for adaptive real-time tasks in which a task's execution rate requirements are allowed to change at any time. The model, variable rate execution (VRE)...