Sciweavers

2255 search results - page 56 / 451
» High Assurance Software Systems
Sort
View
ICSE
2003
IEEE-ACM
14 years 8 months ago
A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure
Ubiquitous context-aware computing systems present several challenges in their construction. Principal among them is the tradeoff between easily providing new contextaware service...
William G. Griswold, Robert T. Boyer, Steven W. Br...
WETICE
1998
IEEE
14 years 29 days ago
Software Agents: Process Models and User Profiles in Distributed Software Development
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...
Norbert Glaser, Jean-Claude Derniame
ECBS
2000
IEEE
87views Hardware» more  ECBS 2000»
14 years 1 months ago
Limited Software Warranties
Because there are di erent types of software (e.g., language, application, target environment, etc.), di erent software certi cation methodologies are needed. Software process imp...
Jeffrey M. Voas
SAFECOMP
2007
Springer
14 years 2 months ago
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety
The general trend towards ubiquitous networking has reached the realm of airplanes. E-enabled airplanes with wired and wireless network interfaces offer a wide spectrum of network ...
Richard Robinson, Mingyan Li, Scott Lintelman, Kri...
ROMAN
2007
IEEE
118views Robotics» more  ROMAN 2007»
14 years 3 months ago
High School Educational Program using a Simple and Compact Stereo Vision Robot
Abstract— This paper describes a technical education program for high school students that comprises an image information processing system, stereo vision technology and control ...
Takeshi Morishita, Tetsuro Yabuta