1565 search results - page 295 / 313 » The Intensional View Environment |
101
click to vote
HICSS
1994
IEEE
15 years 3 months ago
1994
IEEE
Meeting research and especially research on Computer Supported Meetings of natural teams is not available in abundance. What is reported of meetings often uses a rather limited th...
IWSSD
1993
IEEE
15 years 3 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...
136
click to vote
HT
1993
ACM
15 years 3 months ago
1993
ACM
Traditional concurrency control techniques for database systems (transaction management based on locking protocols) have been successful in many multiuser settings, but these tech...
134
click to vote
PODC
1994
ACM
15 years 3 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...
SIGGRAPH
1993
ACM
15 years 3 months ago
1993
ACM
Radiosity methods have been shown to be an effective means to solve the global illumination problem in Lambertian diffuse environments. These methods approximate the radiosity int...