Sciweavers

6432 search results - page 288 / 1287
» Classic Mechanism Design
Sort
View
CAISE
2003
Springer
15 years 11 months ago
Designing Ubiquitous Personalized TV-Anytime Services
In this paper we present the design of an environment that offers personalized, ubiquitous information services in the emerging integrated world of the digital-TV and the Internet....
Fotis G. Kazasis, Nektarios Moumoutzis, Nikos Papp...
ITC
2000
IEEE
124views Hardware» more  ITC 2000»
15 years 10 months ago
Wrapper design for embedded core test
A wrapper is a thin shell around the core, that provides the switching between functional, and core-internal and core-external test modes. Together with a test access mechanism (T...
Yervant Zorian, Erik Jan Marinissen, Maurice Lousb...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
IPPS
1998
IEEE
15 years 10 months ago
Design and Implementation of a Parallel I/O Runtime System for Irregular Applications
In this paper we present the design, implementation and evaluation of a runtime system based on collective I/O techniques for irregular applications. We present two models, namely...
Jaechun No, Sung-Soon Park, Jesús Carretero...
COBUILD
1998
Springer
15 years 10 months ago
Roomware for Cooperative Buildings: Integrated Design of Architectural Spaces and Information Spaces
In this paper, we introduce the concepts of "cooperative buildings" and "roomware" and place them in the context of the integrated design of real, physical, res...
Norbert A. Streitz, Jörg Geißler, Torst...