6978 search results - page 1025 / 1396 » On Proofs in System P |
178
click to vote
FORTE
2001
15 years 9 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
206
click to vote
LISA
2003
15 years 9 months ago
2003
This paper attempts to address the complexity of system administration by making the labor of applying software updates independent of the number of computers on which the softwar...
186
click to vote
VVG
2003
15 years 9 months ago
2003
The contribution of this paper is a novel non-photorealistic rendering (NPR) system capable of rendering motion within a video sequence in artistic styles. A variety of cartoon-st...
207
click to vote
ICMAS
1998
15 years 9 months ago
1998
We present a decentralized, asynchronous market protocol for allocating and scheduling tasks among agents that contend for scarce resources, constrained by a hierarchical task dep...
210
click to vote
AAAI
1997
15 years 9 months ago
1997
A variety of sensors and positioning methods have been developed over the years. Most methods rely on active sensors (such as sonars or lasers) which have range and power restrict...