2713 search results - page 195 / 543 » Parameterized Tree Systems |
120
click to vote
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
127
click to vote
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
140
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
The ways in which an agent’s actions affect the world can often be modeled compactly using a set of relational probabilistic planning rules. This paper addresses the problem of ...
134
Voted
ISTA
2007
15 years 5 months ago
2007
: Quality requirements elicitation for new computer applications rests traditionally on interviewing stakeholders. That makes getting these requirements right more complicated than...
125
click to vote
MASCOTS
2004
15 years 5 months ago
2004
This paper uses trace-driven simulations to evaluate two novel Web server scheduling policies called KSRPT and T-SRPT. K-SRPT is a multi-threaded version of SRPT (Shortest Remaini...