488 search results - page 64 / 98 » Weighted Logics for Traces |
102
click to vote
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
101
click to vote
DEXA
2008
Springer
15 years 1 months ago
2008
Springer
The query performance for tracing tags depends upon the distribution of tag trajectories in the data space. We examine a more efficient representation of tag trajectories by means ...
PTS
2008
15 years 1 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
AAAI
2004
15 years 1 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
IJCAI
1989
15 years 1 months ago
1989
: This paper describes a novel method for displaying and examining the execution space of a rule interpreter. This method provides both coarse-grained and fine-grained views. The c...