2470 search results - page 192 / 494 » Liveness-Preserving Simulation Relations |
158
click to vote
CONEXT
2008
ACM
15 years 6 months ago
2008
ACM
Replication is widely used in unstructured peer-to-peer systems to improve search or achieve availability. We identify and solve a subclass of replication problems where each obje...
135
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
131
click to vote
AAAI
2010
15 years 6 months ago
2010
In the form of topic discussions, users interact with each other to share knowledge and exchange information in online forums. Modeling the evolution of topic discussion reveals h...
132
click to vote
HVEI
2010
15 years 6 months ago
2010
The overall image quality benefits substantially from good reproduction of black tones. Modern displays feature relatively low black level, making them capable rendering good dark...
149
click to vote
ICWS
2010
IEEE
15 years 6 months ago
2010
IEEE
Several activities in service oriented computing can benefit from the knowledge of properties of a given service composition ahead of time. We will focus here on properties related...