27274 search results - page 221 / 5455 » A framework for framework documentation |
152
click to vote
ATS
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or...
134
click to vote
LICS
1987
IEEE
15 years 10 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
145
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a formal framework, experimental infrastructure, and computational environment for modeling, analyzing and regulating the behavior of cardiac tissues....
184
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
COLING
2008
15 years 8 months ago
2008
This paper presents recent advances in an established treebank annotation framework comprising of an abstract XMLbased data format, fully customizable editor of tree-based annotat...