Sciweavers

491 search results - page 57 / 99
» Implementation of a Generic Autonomic Framework
Sort
View
HT
2003
ACM
15 years 3 months ago
HyperReal: a hypermedia model for mixed reality
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
Luís Romero, Nuno Correia
FM
2003
Springer
108views Formal Methods» more  FM 2003»
15 years 3 months ago
Correctness of Source-Level Safety Policies
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
Ewen Denney, Bernd Fischer 0002
DAC
2002
ACM
15 years 10 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
DEXA
2009
Springer
177views Database» more  DEXA 2009»
15 years 4 months ago
Querying XML Data with SPARQL
SPARQL is today the standard access language for Semantic Web data. In the recent years XML databases have also acquired industrial importance due to the widespread applicability o...
Nikos Bikakis, Nektarios Gioldasis, Chrisa Tsinara...
WETICE
2007
IEEE
15 years 4 months ago
A Tuple-Space Based Middleware for Collaborative Tangible User Interfaces
Several approaches have been made to establish a generic middleware for tangible user interfaces (TUI). They target toward the independence of application domains as well as flexi...
Florian Georg Furtmüller, Stefan Oppl