Sciweavers

2404 search results - page 119 / 481
» Postmodernism and Control Engineering
Sort
View
SAFECOMP
1999
Springer
15 years 10 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
SBBD
2004
150views Database» more  SBBD 2004»
15 years 7 months ago
Active XML, Security and Access Control
XML and Web services are revolutioning the automatic management of distributed information, somewhat in the same way that HTML, Web browsers and search engines modified human acce...
Serge Abiteboul, Omar Benjelloun, Bogdan Cautis, T...
CNL
2009
15 years 7 months ago
Writing Clinical Practice Guidelines in Controlled Natural Language
Abstract. Clinicians could benefit from decision support systems incorporating the knowledge contained in clinical practice guidelines. However, the unstructured form of these guid...
Richard N. Shiffman, George Michel, Michael Krauth...
VSTTE
2005
Springer
15 years 11 months ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...
LSO
2004
Springer
15 years 11 months ago
Tool Support for Inter-team Learning in Agile Software Organizations
The need for organizational learning support is common among all software development companies but is not addressed by agile software methods practitioners. The typical Experience...
Thomas Chau, Frank Maurer