2404 search results - page 5 / 481 » Postmodernism and Control Engineering |
127
Voted
ICSE
2009
IEEE-ACM
14 years 11 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 ...
139
click to vote
MEDES
2009
ACM
15 years 8 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...
128
click to vote
FOSSACS
2011
Springer
14 years 5 months 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...
88
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
77
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
