Sciweavers

474 search results - page 14 / 95
» Assurance Based Development of Critical Systems
Sort
View
HASE
2007
IEEE
15 years 11 months ago
Precise Documentation of Critical Software
This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software mo...
David Lorge Parnas, Sergiy A. Vilkomir
218
Voted
PAAMS
2010
Springer
16 years 6 days ago
A Cooperative Communications Platform for Safety Critical Robotics: An Experimental Evaluation
As the number of handicapped people increases worldwide, Intelligent Wheelchairs (IW) are becoming the solution to enable a higher degree of independence for wheelchair users. In a...
Frederico M. Cunha, Rodrigo A. M. Braga, Luí...
SIGSOFT
2002
ACM
16 years 8 months ago
Secure systems development based on the common criteria: the PalME project
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
Monika Vetterling, Guido Wimmel, Alexander K. Wi&s...
181
Voted
ICANN
2007
Springer
16 years 1 months ago
Local Positioning System Based on Artificial Neural Networks
This work describes a complete indoor location system, from its creation, development and deployment. This location system is a capable way of retrieving the position of wireless d...
Pedro Claro, Nuno Borges Carvalho
202
Voted
CDC
2010
IEEE
15 years 2 months ago
Pressure- and work-limited neuroadaptive control for mechanical ventilation of critical care patients
In this paper, we develop a neuroadaptive control architecture to control lung volume and minute ventilation with input pressure constraints that also accounts for spontaneous brea...
Konstantin Y. Volyanskyy, Wassim M. Haddad, James ...