481 search results - page 79 / 97 » Executing Higher Order Logic |
126
click to vote
VLDB
2007
ACM
15 years 6 months ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
108
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
107
click to vote
JSAC
2006
15 years 19 days ago
2006
We consider the problem of traffic grooming in WDM path, star, and tree networks. Traffic grooming is a variant of the well-known logical topology design, and is concerned with the...
80
Voted
SYNTHESE
2010
14 years 11 months ago
2010
The focus of the paper is on the logic of clarity and the problem of higherorder vagueness. We first examine the consequences of the notion of intransitivity of indiscriminabilit...
112
Voted
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...