506 search results - page 88 / 102 » Where Is the Value in a Program Verifier |
126
click to vote
ALT
2003
Springer
16 years 27 days ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
129
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
164
Voted
IFIP
2003
Springer
15 years 9 months ago
2003
Springer
The design of an efficient Medium Access Control (MAC) is challenging in ad-hoc networks where users can enter, leave or move inside the network without any need for prior configu...
129
Voted
AIPS
2006
15 years 5 months ago
2006
In this paper we describe the problem of Optimal Competitive Scheduling, which consists of activities that compete for a shared resource. The objective is to choose a subset of ac...
145
click to vote
ASC
2004
15 years 3 months ago
2004
This paper proposes a new approach for tackling the uncertainty and imprecision of the service evaluation process. Identifying suitable service offers, evaluating the offers and c...