2473 search results - page 264 / 495 » Systems, Views and Models of UML |
192
click to vote
WSC
2007
15 years 9 months ago
2007
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
216
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
167
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...
146
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents a critical view of existing models of user experience. These models view experience as the subjective response in the individual's mind. While designers a...
222
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
When visualising datasets that are too large to be displayed in their entirity, interactive navigation is a common solution. However, instantaneous updates of the visualisation wh...