Sciweavers

84 search results - page 15 / 17
» Safety assessment with AltaRica
Sort
View
ECAI
2000
Springer
13 years 11 months ago
Autosteve: Automated Electrical Design Analysis
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
Chris Price
CHI
2008
ACM
14 years 7 months ago
In-car interaction using search-based user interfaces
Increasing functionality, growing media volumes and dynamic data in today's in-vehicle information systems bear new challenges for user interaction design. Traditional hierar...
Stefan Graf, Wolfgang Spiessl, Albrecht Schmidt, A...
ICSE
2003
IEEE-ACM
14 years 7 months ago
From HCI to Software Engineering and Back
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...
José Creissac Campos, Michael D. Harrison
VEE
2010
ACM
229views Virtualization» more  VEE 2010»
14 years 2 months ago
VMKit: a substrate for managed runtime environments
Managed Runtime Environments (MREs), such as the JVM and the CLI, form an attractive environment for program execution, by providing portability and safety, via the use of a bytec...
Nicolas Geoffray, Gaël Thomas, Julia L. Lawal...
DATE
2008
IEEE
199views Hardware» more  DATE 2008»
14 years 1 months ago
Safe Automatic Flight Back and Landing of Aircraft Flight Reconfiguration Function (FRF)
SOFIA (Safe Automatic Flight Back and Landing of Aircraft) project is a response to the challenge of developing concepts and techniques enabling the safe and automatic return to g...
Juan Alberto Herreria Garcia