596 search results - page 107 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
159
click to vote
PAMI
2006
15 years 5 months ago
2006
Three-dimensional appearance models consisting of spatially varying reflectance functions defined on a known shape can be used in analysis-by-synthesis approaches to a number of vi...
191
click to vote
W4A
2005
ACM
15 years 11 months ago
2005
ACM
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userâ€...
168
click to vote
CIKM
1994
Springer
15 years 10 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
160
click to vote
CSFW
2004
IEEE
15 years 9 months ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
173
click to vote
CODES
2006
IEEE
15 years 12 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...