17054 search results - page 332 / 3411 » Logics of Dynamical Systems |
203
Voted
PODS
2010
ACM
15 years 7 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
170
click to vote
ENTCS
2000
15 years 7 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
209
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
208
Voted
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a novel formulation for the optimal control of discrete event dynamic processes which represent production systems with unreliable machines and buffers of...
226
click to vote
CLUSTER
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents the design and evaluation of an adaptive system sensitive partitioning and load balancing framework for distributed adaptive mesh re nement applications on het...