3468 search results - page 411 / 694 » An open logical framework |
126
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Execution behavior of a Java application can be nondeterministic due to concurrent threads of execution, thread scheduling, and variable network delays. This nondeterminism in Jav...
152
click to vote
AGP
1994
IEEE
15 years 8 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
136
click to vote
VLDB
1992
ACM
15 years 8 months ago
1992
ACM
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...
156
click to vote
TCOM
2010
14 years 11 months ago
2010
This paper presents a mathematical framework for the evaluation of the performance of proactive and reactive routing protocols in mobile ad hoc networks (MANETs). This unified fram...
249
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
We present a flexible query allocation framework, called Satisfaction-based Query Allocation (SbQA for short), for distributed information systems where both consumers and provider...