1712 search results - page 96 / 343 » A Computational Approach to Binding Theory |
114
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
120
click to vote
INFORMATICALT
2007
15 years 1 months ago
2007
The paper presents, first, the Structural Blanks (SB) approach, then a method to compose loop programs. SB is an approach for expressing computations based on recurrence relations...
108
click to vote
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
113
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
HUC
2004
Springer
15 years 7 months ago
2004
Springer
The Active Bat system provides the ability to locate users and equipment with a high degree of accuracy and coverage. Despite this, participation is low. We are concerned that this...