16844 search results - page 3302 / 3369 » How to Design Programs |
143
click to vote
SIGGRAPH
1996
ACM
15 years 6 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...
136
click to vote
STOC
1996
ACM
15 years 6 months ago
1996
ACM
A fundamental problem in designing secure multi-party protocols is how to deal with adaptive adversaries i.e., adversaries that may choose the corrupted parties during the course ...
115
Voted
IWSSD
1993
IEEE
15 years 6 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
165
Voted
PODC
1994
ACM
15 years 6 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
127
Voted
SIGGRAPH
1993
ACM
15 years 6 months ago
1993
ACM
We believe that navigation in information spaces is best supported by tapping into our natural spatial and geographic ways of thinking. To this end, we are developing a new comput...