636 search results - page 45 / 128 » Adapting Logics |
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
103
click to vote
IAJIT
2007
14 years 11 months ago
2007
: Routing is an important functional aspect in wireless ad-hoc networks that handles discovering and maintaining the paths between nodes within a network. Due to nodes mobility, th...
115
click to vote
ICNP
1998
IEEE
15 years 4 months ago
1998
IEEE
Wireless links can exhibit high error rates due to attenuation, fading, or interfering active radiation sources. To make matters worse, error rates can be highly variable due to c...
CHI
1998
ACM
15 years 4 months ago
1998
ACM
considered simply, but a more complex evaluation of the effects of performing the tasks. For example, an educational activity that learners complete quickly and accurately is of no...
TWEB
2008
14 years 11 months ago
2008
tions at runtime. We introduce the abstract service and adapter components which allow us to separate the compensation logic from the coordination logic. In this way, we can easily...