4814 search results - page 98 / 963 » Combining abstract interpreters |
134
click to vote
EP
1998
Springer
15 years 9 months ago
1998
Springer
Two complementary de facto standards for the publication of electronic documents are HTML on the World Wide Web and Adobe's PDF (Portable Document Format) language for use wi...
163
click to vote
ECAI
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
170
click to vote
ESORICS
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
147
click to vote
SIGIR
2010
ACM
15 years 9 months ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...
143
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...