1124 search results - page 87 / 225 » Refined quorum systems |
188
click to vote
MSE
2005
IEEE
15 years 12 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
285
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
136
click to vote
AAAI
1998
15 years 7 months ago
1998
Effective information gathering on the WWW is a complex task requiring planning, scheduling, text processing, and interpretation-style reasoning about extracted data to resolve in...
189
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
We find the number of partitions of n whose BG-rank is j, in terms of pp(n), the number of pairs of partitions whose total number of cells is n, giving both bijective and generati...
129
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
This research examines a collaborative solution to a common problem, that of providing help to distributed users. The Answer Garden 2 system provides a secondgeneration architectu...