3719 search results - page 30 / 744 » order 2010 |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...
AAAI
2010
13 years 10 months ago
2010
An answer set program with variables is first-order definable on finite structures if the set of its finite answer sets can be captured by a first-order sentence, otherwise this p...
RSA
2010
13 years 8 months ago
2010
We establish central and local limit theorems for the number of vertices in the largest component of a random d-uniform hypergraph Hd(n, p) with edge probability p = c/ n−1 d−1...
ACSC
2010
IEEE
13 years 5 months ago
2010
IEEE
The dynamic topological order problem is that of efficiently updating a topological order after some edge(s) are inserted into a graph. Much prior work exists on the unit-change v...
EOR
2007
13 years 9 months ago
2007
Within the economic order quantity (EOQ) framework, the main purpose of this paper is to investigate the retailerÕs optimal replenishment policy under permissible delay in paymen...