2432 search results - page 168 / 487 » High-level approach to modeling of observed system behavior |
203
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
In this paper, we study the behavior of collaborative filtering based recommendations under evolving user profile scenarios. We propose a systematic validation methodology that ...
144
click to vote
TACAS
2007
Springer
16 years 16 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
171
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
144
click to vote
DSN
2005
IEEE
16 years 1 days ago
2005
IEEE
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...
156
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...