6756 search results - page 213 / 1352 » Distributed Shared State |
186
click to vote
ENTCS
2008
15 years 6 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
135
click to vote
CCGRID
2008
IEEE
16 years 26 days ago
2008
IEEE
Peer-to-peer overlays envision a single overlay substrate that can be used (possibly simultaneously) by many applications, but current overlays either target fast, few-hop lookups...
154
Voted
ECOOPW
2003
Springer
15 years 11 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
148
click to vote
ACL
2006
15 years 7 months ago
2006
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
165
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
Human team members often develop shared expectations to predict each other’s needs and coordinate their behaviors. In this paper the concept “Shared Belief Map” is proposed ...