2404 search results - page 5 / 481 » Postmodernism and Control Engineering |
82
Voted
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
MEDES
2009
ACM
15 years 4 months ago
2009
ACM
The evolution of service-oriented architectures towards digital ecosystems comprehends a number of challenges. According to Papazoglou et al., one challenge is to develop services...
101
click to vote
FOSSACS
2011
Springer
14 years 27 days ago
2011
Springer
The paper investigates non-deterministic, probabilistic and quantum walks, from the perspective of coalgebras and monads. Nondeterministic and probabilistic walks are coalgebras of...
60
Voted
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
