4190 search results - page 326 / 838 » Type Class Directives |
185
click to vote
PODC
2012
ACM
13 years 7 months ago
2012
ACM
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker ve...
139
Voted
TON
2002
15 years 4 months ago
2002
We present two routing strategies, identified herein as static least loaded routing (SLLR) and dynamic least loaded routing (DLLR). Dynamic routing in circuit-switched networks has...
262
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
152
click to vote
ILP
2005
Springer
15 years 10 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
183
click to vote
PICS
1998
15 years 6 months ago
1998
In the fine art field, the high-resolution inkjet printers made by IRIS Graphics, Inc. have for more than 7 years remained the preferred direct digital output device for printing ...