1833 search results - page 152 / 367 » Mechanized Verification with Sharing |
142
click to vote
MCAM
2007
Springer
15 years 11 months ago
2007
Springer
The Freeband I-Share project aims to define the mechanisms for trust, willingness, resource discovery and sharing mechanisms in virtual communities. To improve the secure and perfo...
125
click to vote
OZCHI
2006
ACM
15 years 10 months ago
2006
ACM
There are various situations where a distinction needs to be made between group members and outsiders. For example, to protect students in chat groups from unpleasant incidents ca...
146
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
180
click to vote
KIVS
2001
Springer
15 years 9 months ago
2001
Springer
Ethernet is a widely used low-cost networking technology. It however lacks the determinism and resource management features needed to meet realtime requirements of multimedia appli...
167
click to vote
HPCA
2000
IEEE
15 years 9 months ago
2000
IEEE
Efficiency of synchronization mechanisms can limit the parallel performance of many shared-memory applications. In addition, the ever increasing performance gap between processor...