3238 search results - page 108 / 648 » On the Computational Interpretation of Negation |
175
click to vote
WINE
2009
Springer
15 years 11 months ago
2009
Springer
We consider the complexity of decision making with regards to predatory pricing in multimarket oligopoly models. Specifically, we present multimarket extensions of the classical s...
167
click to vote
JSSPP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Most studies on adaptive partitioning policies for scheduling parallel jobs on distributed memory parallel computers ignore the constraints imposed by the memory requirem...
144
click to vote
ECEASST
2008
15 years 6 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
163
click to vote
FOSSACS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
150
click to vote
WINE
2007
Springer
16 years 15 days ago
2007
Springer
In addition to useful Economic interpretation, auction based algorithms are generally found to be efficient. In this note, we observe that the auction-based mechanism can also be u...