Sciweavers

12741 search results - page 163 / 2549
» Editorial and call for papers
Sort
View
ISWC
2000
IEEE
15 years 11 months ago
Wearable Key: Device for Personalizing Nearby Environment
This paper describes a system that allows users who obtain a “wearable ID key” to personalize dynamically ubiquitous computers by simply touching them. We call the concept of ...
Nobuyuki Matsushita, Shigeru Tajima, Yuji Ayatsuka...
LICS
2000
IEEE
15 years 11 months ago
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
Alan Jeffrey, Julian Rathke
MICRO
2000
IEEE
68views Hardware» more  MICRO 2000»
15 years 11 months ago
Performance improvement with circuit-level speculation
Current superscalar microprocessors’ performance depends on its frequency and the number of useful instructions that can be processed per cycle (IPC). In this paper we propose a...
Tong Liu, Shih-Lien Lu
ACSE
2000
ACM
15 years 11 months ago
A streamlined system for building online presentation archives using SMIL
The demand for and expectation of ubiquitous access to multimedia online learning resources are much higher amongst computer science students than other fields of study. Previous ...
Darren James, Jane Hunter
COORDINATION
2000
Springer
15 years 11 months ago
The LuCe Coordination Technology for MAS Design and Development on the Internet
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
Enrico Denti, Andrea Omicini, Vladimiro Toschi