Sciweavers

10275 search results - page 265 / 2055
» Case Studies of Autonomy
Sort
View
CORR
2006
Springer
57views Education» more  CORR 2006»
15 years 6 months ago
Program Spectra Analysis in Embedded Software: A Case Study
Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund
158
Voted
EG
2006
97views more  EG 2006»
15 years 6 months ago
Change management in e-government: OntoGov case study
: E-government systems are subject to a continual change. The importance of better change management is nowadays, more important due to the evolution of Europe towards a multicultu...
Ljiljana Stojanovic, Nenad Stojanovic, Dimitris Ap...
ENTCS
2006
136views more  ENTCS 2006»
15 years 6 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...