1188 search results - page 107 / 238 » Testing Semantics: Connecting Processes and Process Logics |
137
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
125
click to vote
DFT
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
132
click to vote
FINTAL
2006
15 years 8 months ago
2006
Abstract. Discourse segmentation is the division of a text into minimal discourse segments, which form the leaves in the trees that are used to represent discourse structures. A de...
164
click to vote
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
138
click to vote
LISP
2002
15 years 3 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...