Sciweavers

630 search results - page 41 / 126
» Stateful Aspects in JAsCo
Sort
View
GLOBECOM
2008
IEEE
13 years 10 months ago
Perturbation-Based Distributed Beamforming for Wireless Relay Networks
—This paper deals with distributed beamforming techniques for wireless networks with half-duplex amplify-andforward relays. Existing schemes optimize the beamforming weights base...
Peter Fertl, Ari Hottinen, Gerald Matz
ICALP
2010
Springer
13 years 9 months ago
What Is a Pure Functional?
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl
AAMAS
2007
Springer
13 years 9 months ago
Conversational semantics sustained by commitments
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...
ACTA
2006
108views more  ACTA 2006»
13 years 9 months ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
EXPERT
2008
108views more  EXPERT 2008»
13 years 8 months ago
Case-Based Plan Adaptation: An Analysis and Review
: In this article we analyze the current state of case-based plan adaptation research. We include the traditional distinction between transformational and derivational analogy but ...
Héctor Muñoz-Avila, Michael T. Cox