9325 search results - page 327 / 1865 » The decentralized implementability problem |
137
click to vote
WDAG
2005
Springer
15 years 10 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
135
click to vote
SAC
2000
ACM
15 years 8 months ago
2000
ACM
Since 1990 the Web has changed from a distributed hypertext system to an efficient environment for application delivery. Due to the legacy of the Web implementation model the deve...
125
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
249
click to vote
ICDE
1995
IEEE
16 years 5 months ago
1995
IEEE
We address the problem of providing integrated access to diverse and dynamic information sources. We explain how this problem di ers from the traditional database integration probl...
119
Voted
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Design patterns encode proven solutions to recurring design problems. To use a design pattern properly, we need to 1) understand the design problem the pattern resolves, 2) recogn...