1828 search results - page 130 / 366 » First-Class Type Classes |
183
click to vote
IJNSEC
2007
15 years 6 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...
165
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. A (combinatorial) channel consists of pairs of words representing all possible inputoutput channel situations. In a past paper, we formalized the intuitive concept of “...
169
click to vote
CIVR
2003
Springer
15 years 11 months ago
2003
Springer
This paper adopts the premise that the ‘semantic gap' is an incompletely surveyed feature in the landscape of visual image retrieval, and proposes a framework within which t...
186
click to vote
SIGMOD
1995
ACM
15 years 10 months ago
1995
ACM
Text is a pervasive information type, and many applications require querying over text sources in addition to structured data. This paper studies the problem of query processing i...
184
click to vote
WSC
2007
15 years 8 months ago
2007
In this paper we present a survey on methods for the synthesis of Petri nets from behavioral descriptions given as languages. We consider place/transition Petri nets, elementary P...