6581 search results - page 1176 / 1317 » Formalizing Design Patterns |
150
click to vote
SAC
2010
ACM
16 years 26 days ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
137
click to vote
ACSC
2008
IEEE
16 years 26 days ago
2008
IEEE
In this paper, we examine the composition of firstclass protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agent...
161
click to vote
DSN
2008
IEEE
16 years 25 days ago
2008
IEEE
Quorums are a basic construct in solving many fundamental distributed computing problems. One of the known ways of making quorums scalable and efficient is by weakening their int...
167
click to vote
ACNS
2008
Springer
16 years 22 days ago
2008
Springer
Compliance storage is an increasingly important area for businesses faced with a myriad of new document retention regulations. Today, businesses have turned to Write-One Read Many ...
194
click to vote
SASO
2007
IEEE
16 years 19 days ago
2007
IEEE
Incentives for resource sharing are crucial for the proper operation of P2P networks. The principle of the incentive mechanisms in current content sharing P2P networks such as Bit...