4460 search results - page 143 / 892 » Formal methods for interactive systems |
149
click to vote
JCO
2008
15 years 6 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...
206
click to vote
WSCG
2001
15 years 8 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...
200
click to vote
ICCS
2009
Springer
16 years 1 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...
189
click to vote
VISUALIZATION
2005
IEEE
16 years 14 days 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...
158
click to vote
EXPERT
2002
15 years 6 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...