4460 search results - page 143 / 892 » Formal methods for interactive systems |
115
click to vote
JCO
2008
15 years 3 months ago
2008
The identification of interaction faults in component-based systems has focussed on indicating the presence of faults, rather than their location and magnitude. While this is a va...
161
Voted
WSCG
2001
15 years 5 months ago
2001
We describe a distributed system for texture mapping implicit surfaces. The method uses a particle system associated with the gradient vector field of the function that defines an...
147
click to vote
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
134
Voted
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
Illustrations play a major role in the education process. Whether used to teach a surgical or radiologic procedure, to illustrate normal or aberrant anatomy, or to explain the fun...
108
Voted
EXPERT
2002
15 years 3 months ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...