1133 search results - page 15 / 227 » Local Logics for Traces |
137
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
142
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
134
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
119
click to vote
TARK
2005
Springer
15 years 10 months ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...