2255 search results - page 222 / 451 » High Assurance Software Systems |
157
click to vote
VAMOS
2007
Springer
16 years 19 days ago
2007
Springer
The global telephone system is a complex transmission network, the features of which are defined to a very high level by ITU-T standards. It is therefore a prime candidate at whi...
179
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
143
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents the hardware and software design principles of the medium size RoboCup Team CoPS which are developed by the image understanding group at the Institute...
174
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
172
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
In this study, we argue that modality planning in multimodal presentation systems needs to consider the modality characteristics at not only the presentational level but also the ...