Search Sciweavers | Sciweavers

2404 search results - page 5 / 481

» Postmodernism and Control Engineering

186

click to vote

ICSE
2009
IEEE-ACM

151views Software Engineering» more ICSE 2009»

Model checking flight control systems: The Airbus experience

15 years 4 months ago

Download homepages.laas.fr

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 ...

Thomas Bochot, Pierre Virelizier, Hél&egrav...

claim paper

Read More »

201

click to vote

MEDES
2009
ACM

279views Control Systems» more MEDES 2009»

Integrated service engineering workbench: service engineering for digital ecosystems

16 years 28 days ago

Download www.theseus.joint-research.org

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...

Gregor Scheithauer, Konrad Voigt, Veli Bicer, Matt...

claim paper

Read More »

188

click to vote

FOSSACS
2011
Springer

201views Software Engineering» more FOSSACS 2011»

Coalgebraic Walks, in Quantum and Turing Computation

14 years 10 months ago

Download www.cs.ru.nl

The paper investigates non-deterministic, probabilistic and quantum walks, from the perspective of coalgebras and monads. Nondeterministic and probabilistic walks are coalgebras of...

Bart Jacobs

claim paper

Read More »

129

click to vote

KBSE
2005
IEEE

95views Software Engineering» more KBSE 2005»

Application of design for verification with concurrency controllers to air traffic control software

16 years 4 hour ago

Download www.fi.muni.cz

Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Be...

claim paper