1297 search results - page 40 / 260 » Control of systems integrating logic, dynamics, and constrai... |
110
click to vote
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
100
click to vote
APLAS
2000
ACM
15 years 5 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
121
click to vote
TGC
2007
Springer
15 years 7 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
107
click to vote
IWSSD
2000
IEEE
15 years 5 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
RTSS
2009
IEEE
15 years 8 months ago
2009
IEEE
In complex hard real-time systems with tight constraints on system resources, small changes in one component of a system can cause a cascade of adverse effects on other parts of t...