2203 search results - page 135 / 441 » Temporal Abstract Interpretation |
134
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
134
Voted
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
The goal of approximate policy evaluation is to “best” represent a target value function according to a specific criterion. Temporal difference methods and Bellman residual m...
127
Voted
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
156
Voted
APAL
2005
15 years 3 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
123
Voted
JASIS
2011
14 years 10 months ago
2011
Twitter, Facebook, and other related systems that we call social awareness streams are rapidly changing the information and communication dynamics of our society. These systems, w...