506 search results - page 88 / 102 » Where Is the Value in a Program Verifier |
ALT
2003
Springer
15 years 9 months 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...
103
Voted
TLCA
2005
Springer
15 years 6 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...
122
Voted
IFIP
2003
Springer
15 years 5 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...
AIPS
2006
15 years 1 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...
105
click to vote
ASC
2004
15 years 10 days 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...