Sciweavers

3601 search results - page 457 / 721
» The Future of Virtualization Technology
Sort
View
ECOOPWEXCEPTION
2000
Springer
15 years 10 months ago
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
Tatsurou Sekiguchi, Takahiro Sakamoto, Akinori Yon...
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 10 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
ATAL
2006
Springer
15 years 10 months ago
Multiagent simulation meets the real world
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...
Toru Ishida
COOPIS
2004
IEEE
15 years 10 months ago
Paradigms for Decentralized Social Filtering Exploiting Trust Network Structure
Recommender systems, notably collaborative and hybrid information filtering approaches, vitally depend on neighborhood formation, i.e., selecting small subsets of most relevant pee...
Cai-Nicolas Ziegler, Georg Lausen
FQAS
2004
Springer
122views Database» more  FQAS 2004»
15 years 10 months ago
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
Davide Martinenghi