Sciweavers

859 search results - page 60 / 172
» Explaining Synthesized Software
Sort
View
EUROMICRO
1999
IEEE
14 years 2 months ago
The Komodo Project: Thread-based Event Handling Supported by a Multithreaded Java Microcontroller
The Komodo project concerns the handling of multiple real-time events by Java threads that are supported by a multithreaded Java microcontroller. The architecture of the processor...
Jochen Kreuzinger, R. Marston, Theo Ungerer, Uwe B...
CONTEXT
1999
Springer
14 years 2 months ago
Ecological Interfaces: Extending the Pointing Paradigm by Visual Context
Following the ecological approach to visual perception, this paper presents an innovative framework for the design of multimodal systems. The proposal emphasises the role of the vi...
Antonella De Angeli, Laurent Romary, Frederic Wolf...
EUROPAR
1999
Springer
14 years 2 months ago
A Study of a Simultaneous Multithreaded Processor Implementation
This paper describes an approach to the implementation and the operation of a Simultaneous Multithreaded processor. We propose an architecture which integrates a software mechanism...
Dominik Madon, Eduardo Sanchez, Stefan Monnier
FSTTCS
1999
Springer
14 years 2 months ago
A Foundation for Hybrid Knowledge Bases
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...
James J. Lu, Neil V. Murray, Erik Rosenthal
AC
1997
Springer
14 years 2 months ago
Cryptographic Primitives for Information Authentication - State of the Art
This paper describes the state of the art for cryptographic primitives that are used for protecting the authenticity of information: cryptographic hash functions and digital signat...
Bart Preneel