1974 search results - page 130 / 395 » Conditional Purchase Orders |
216
click to vote
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
151
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
We show that the Vickrey auction, despite its theoretical benefits, is inappropriate if “antisocial” agents participate in the auction process. More specifically, an antisoc...
161
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
145
click to vote
ICANN
1997
Springer
15 years 8 months ago
1997
Springer
We present a minimalistic approach to establish obstacle avoidance and course stabilization behavior of a simulated flying autonomous agent in a 3D virtual world. The agent uses v...
117
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- The subject area of this paper is discrete-time linear time-invariant systems composed of subsystems whose state updating is asynchronous due to the clock signal arrivin...