1063 search results - page 170 / 213 » Order and Negation as Failure |
121
click to vote
WICSA
2004
15 years 1 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
AIPS
2000
15 years 1 months ago
2000
In the last years, some very promising domain independent heuristic state-space planners for STRIPS worlds, like ASP/HSP, HSPr and GRT, have been presented. These planners achieve...
100
click to vote
USITS
2003
15 years 1 months ago
2003
: Scalable overlay networks such as Chord, Pastry, and Tapestry have recently emerged as a flexible infrastructure for building large peer-to-peer systems. In practice, two disadv...
100
click to vote
EUROPAR
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Complex software systems use many shared libraries frequently composed of large off-the-shelf components. Only a limited number of functions are used from these shared li...
105
click to vote
PODC
2010
ACM
15 years 23 hour ago
2010
ACM
Mutual exclusion is used to coordinate access to shared resources by concurrent processes. k-Exclusion is a variant of mutual exclusion in which up to k processes can simultaneous...