1346 search results - page 147 / 270 » Alternating-time dynamic logic |
161
click to vote
WM
2003
15 years 6 months ago
2003
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...
138
click to vote
BMCBI
2007
15 years 5 months ago
2007
Many different approaches have been developed to model and simulate gene regulatory networks. We proposed the following categories for gene regulatory network models: network part...
139
click to vote
LOBJET
2008
15 years 5 months ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
140
click to vote
CP
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a novel domain-consistency algorithm which does not maintain supports dynamically during propagation, but rather maintain forbidden values. It introduces the op...
204
click to vote
POPL
2011
ACM
14 years 8 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...