Sciweavers

3228 search results - page 398 / 646
» Basics of Compiler Design
Sort
View
HPCN
2000
Springer
15 years 10 months ago
Communicating Mobile Active Objects in Java
This paper investigates the design and implementation of mobile computations in Java. We discuss various issues encountered while building a Java library that allows active objects...
Françoise Baude, Denis Caromel, Fabrice Hue...
ISW
2000
Springer
15 years 10 months ago
Classification of Authentication Protocols: A Practical Approach
We propose a simple classification method for public-key based authentication protocols, which consists of identifying several basic properties leading to a large number of generic...
DongGook Park, Colin Boyd, Ed Dawson
ITS
2000
Springer
112views Multimedia» more  ITS 2000»
15 years 10 months ago
Model of an Adaptive Support Interface for Distance Learning
We developed a distributed support model in an interface for distant learning. The support is integrated into the ExploraGraph navigator which makes it possible to navigate through...
Aude Dufresne
ADBIS
1995
Springer
112views Database» more  ADBIS 1995»
15 years 10 months ago
Spatial Joins and R-trees
One of the most important operations in spatial access needed systems are spatial joins. Using for processing such operations R-tree like structures is intensively studies now. Th...
M. G. Martynov
AMAST
1995
Springer
15 years 10 months ago
A Calculus of Countable Broadcasting Systems
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki