53390 search results - page 468 / 10678 » Computer Systems Analysis |
176
click to vote
ISCC
2000
IEEE
15 years 11 months ago
2000
IEEE
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
185
click to vote
EKAW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
207
click to vote
CAV
1997
Springer
15 years 11 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
174
click to vote
SNPD
2008
15 years 8 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
177
click to vote
AAAI
2000
15 years 8 months ago
2000
Self-localisation is an essential competence for mobile robot navigation. Due to the fundamental unreliability of dead reckoning, a robot must depend on its perception of external...