3005 search results - page 378 / 601 » Logical Information Systems: from Taxonomies to Logics |
168
click to vote
DOOD
1995
Springer
15 years 11 months ago
1995
Springer
Wrappers provide access to heterogeneous information sources by converting application queries into source speci c queries or commands. In this paper we present a wrapper implemen...
222
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
194
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
Typical web sessions can be hijacked easily by a network eavesdropper in attacks that have come to be designated "sidejacking." The rise of ubiquitous wireless networks,...
200
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
188
click to vote
FMSD
2006
15 years 7 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...