940 search results - page 100 / 188 » Local rely-guarantee reasoning |
98
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Reputation in P2P networks is an important tool to encourage cooperation among peers. It is based on ranking of peers according to their past behaviour. In large-scale real world ...
100
click to vote
SIBGRAPI
2006
IEEE
15 years 6 months ago
2006
IEEE
Current methods that interactively render reasonably complex CSG objects are image based and are severely bandwidth limited. This paper presents a new approach to raytracing CSG o...
88
Voted
ENC
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
105
click to vote
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
109
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...