7991 search results - page 613 / 1599 » Using More Reasoning to Improve |
232
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
147
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper investigates utility maximising bidding heuristics for agents that participate in multiple heterogeneous auctions, in which the auction format and the starting...
201
Voted
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
210
Voted
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. As part of ongoing work on evaluating Milner's bigraphical reactive systems, we investigate bigraphical models of context-aware systems, a facet of ubiquitous comput...
168
click to vote
ICAIL
1995
ACM
15 years 10 months ago
1995
ACM
Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...