Sciweavers

9581 search results - page 1623 / 1917
» On Ubiquitous Integrated Computing
Sort
View
ATAL
2003
Springer
15 years 10 months ago
A configurable mobile agent data protection protocol
This paper addresses the problem of protecting the data carried by mobile agents from the possible attacks of malicious execution hosts. Specifically, we consider protection mecha...
Paolo Maggi, Riccardo Sisto
ASAP
2000
IEEE
102views Hardware» more  ASAP 2000»
15 years 10 months ago
A Theory for Software-Hardware Co-Scheduling for ASIPs and Embedded Processors
Exploiting instruction-level parallelism (ILP) is extremely important for achieving high performance in application specific instruction set processors (ASIPs) and embedded proces...
Ramaswamy Govindarajan, Erik R. Altman, Guang R. G...
FMCAD
2000
Springer
15 years 10 months ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang
ITS
2000
Springer
120views Multimedia» more  ITS 2000»
15 years 10 months ago
TEATRIX: Virtual Environment for Story Creation
This paper describes TEATRIX; a learning environment designed to help children, and their teachers, in the whole process of collaborative story creation. TEATRIX provides an enviro...
Rui Prada, Isabel Machado, Ana Paiva
MA
2000
Springer
115views Communications» more  MA 2000»
15 years 10 months ago
Quantitative Evaluation of Pairwise Interactions between Agents
Abstract. Systems comprised of multiple interacting mobile agents provide an alternate network computing paradigm that integrates remote data access, message exchange and migration...
Takahiro Kawamura, Sam Joseph, Akihiko Ohsuga, Shi...
« Prev « First page 1623 / 1917 Last » Next »