7766 search results - page 450 / 1554 » Testing Nondeterminate Systems |
185
click to vote
AADEBUG
2005
Springer
16 years 13 days ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
190
click to vote
CMSB
2004
Springer
16 years 8 days ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
128
click to vote
SOFSEM
2004
Springer
16 years 6 days ago
2004
Springer
Multiagent software systems are known to exhibit a system-level behavior that rarely can be predicted from the description of individual agents but must be observed in simulation o...
185
click to vote
SIGIR
2003
ACM
16 years 3 days ago
2003
ACM
The empirical investigation of the effectiveness of information retrieval (IR) systems requires a test collection, a set of query topics, and a set of relevance judgments made by ...
172
click to vote
IBPRIA
2003
Springer
16 years 2 days ago
2003
Springer
User authentication based on biometrics has explored both physiological and behavioral characteristics. We present a system, called Web Interaction Display and Monitoring (WIDAM), ...