3022 search results - page 332 / 605 » Make Way for WayMaker |
184
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In this paper we present a novel dynamic verification approach to protect the local host confidentiality from malicious Java mobile code. In our approach we use Bytecode Modificat...
159
Voted
JAPLL
2008
15 years 6 months ago
2008
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
199
click to vote
JAR
2008
15 years 6 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
160
click to vote
IJWBC
2006
15 years 6 months ago
2006
: In this paper, we have focused on using the bolero.net community in the semantic web and grid environment. Bolero.net represents a community with the ambitious initiatives to sta...
158
click to vote
IVC
2006
15 years 6 months ago
2006
An exact analysis of the numerical errors being generated during the computation of the Zernike moments, by using the well-known `q-recursive' method, is attempted in this pa...