7416 search results - page 102 / 1484 » Design of an Anatomy Information System |
164
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
188
click to vote
HCI
2007
15 years 8 months ago
2007
Virtual and Augmented Reality have been widely used in many scientific fields for the last two decades in order to visualize complex data and information. Although both techniques ...
157
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
The online trust discussion is focused on mechanisms for building and maintaining user trust. This paper introduces the relevance of providing for the repair of trust breakdowns. ...
168
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...
173
click to vote
SCAM
2003
IEEE
15 years 11 months ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...