1392 search results - page 149 / 279 » A Calculus for Dynamic Linking |
163
Voted
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
226
click to vote
AVI
2008
15 years 7 months ago
2008
This work aimed to propose an adaptive web site in the field of cultural heritage that can dynamically suggest links, based on not intrusive profiling methodologies integrated wit...
147
Voted
AIMS
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present a novel distributed certification system in which signing a certificate needs the collaboration of a fixed ratio of the nodes, hence a varying number of n...
126
click to vote
PDCN
2004
15 years 6 months ago
2004
The paper describes an experimental system in which we linked together a number of computers over the Internet to form a multi-processor computer system. The arrangeme nt uses Jav...
129
Voted
WSC
1998
15 years 6 months ago
1998
We define the term "digital object" and specify a variety of qualities that are important during the object design phase. A digital object contains a set of models, and ...