Search Sciweavers | Sciweavers

2404 search results - page 5 / 481

» Postmodernism and Control Engineering

click to vote

ICSE
2009
IEEE-ACM

151views Software Engineering» more ICSE 2009»

Model checking flight control systems: The Airbus experience

13 years 7 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 »

click to vote

MEDES
2009
ACM

279views Control Systems» more MEDES 2009»

Integrated service engineering workbench: service engineering for digital ecosystems

14 years 4 months 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 »

click to vote

FOSSACS
2011
Springer

201views Software Engineering» more FOSSACS 2011»

Coalgebraic Walks, in Quantum and Turing Computation

13 years 1 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 »

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

14 years 3 months ago

Download www.fi.muni.cz

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

claim paper

Read More »