3679 search results - page 289 / 736 » Hybrid Semantic Analysis |
226
click to vote
CSFW
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
183
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
Three methods for the efficient downdating, composition and splitting of low rank singular value decompositions are proposed. They are formulated in a closed form, considering the ...
174
click to vote
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we propose a technique for evaluating similarity of XML Schema fragments. Firstly, we define classes of structurally and semantically equivalent XSD constructs. Then...
155
click to vote
TOSEM
2002
15 years 6 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
323
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...