41938 search results - page 11 / 8388 » Complex Systems Modeling |
IS
2010
13 years 8 months ago
2010
ISICT
2003
13 years 11 months ago
2003
Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
IJCAI
2001
13 years 11 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
RTCSA
2003
IEEE
14 years 3 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...