3828 search results - page 305 / 766 » Proof-Based System Engineering Using a Virtual System Model |
191
click to vote
CHI
1993
ACM
15 years 10 months ago
1993
ACM
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
183
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
171
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Defined software engineering process help teaching and guiding software engineering courses projects. However, using them raises several issues related to process and course featu...
176
click to vote
VRST
2005
ACM
16 years 6 days ago
2005
ACM
The goal of augmented reality is to provide the user with a view of the surroundings enriched by virtual objects. Practically all augmented reality systems rely on standard realti...
204
click to vote
ICAC
2006
IEEE
16 years 21 days ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...