1527 search results - page 6 / 306 » From Requirements to Design: Formalizing the Key Steps |
ICAT
2003
IEEE
14 years 28 days ago
2003
IEEE
Any VR scenario should offer a certain degree of nonlinearity or openness regarding the story progress as a consequence of the interaction with the user. In this paper we propose ...
BIRTHDAY
2012
Springer
12 years 3 months ago
2012
Springer
Finding efficient countermeasures for cryptosystems against fault attacks is challenged by a constant discovery of flaws in designs. Even elements, such as public keys, that do no...
SIGUCCS
2000
ACM
14 years 4 hour ago
2000
ACM
The quality of student consultants and their development through training and education are major factors in determining long-term effectiveness of university Help Desk. To hire a...
WSPI
2008
13 years 9 months ago
2008
Many of our modern computerized activities, may they be personal, industrial or artistic, involve searching, classifying and browsing large numbers of digital objects. The tools w...
RE
2002
Springer
13 years 7 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...