Sciweavers

2838 search results - page 232 / 568
» Verifying Controlled Components
Sort
View
MSE
2002
IEEE
153views Hardware» more  MSE 2002»
15 years 11 months ago
A Framework for User Interface Design in Visual Information Retrieval
This paper describes the user interface framework of the VizIR project ([4]). VizIR is an open project to develop a Java-based, extendible and well-documented asset framework for ...
Horst Eidenberger, Christian Breiteneder
AEI
2010
115views more  AEI 2010»
15 years 6 months ago
BRAHMS: Novel middleware for integrated systems computation
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
Benjamin Mitchinson, Tak-Shing Chan, Jonathan M. C...
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
Heiko Koziolek, Viktoria Firus
ICMCS
2006
IEEE
125views Multimedia» more  ICMCS 2006»
16 years 19 days ago
Modeling Adaptive Media Processing Workflows
ARIA, ARchitecture for Interactive Arts, is a middleware to process, filter, and fuse sensory inputs and actuate responses in real-time. An ARIA media processing workflow descri...
K. Selçuk Candan, Gisik Kwon, Lina Peng, Ma...
AUIC
2005
IEEE
16 years 6 days ago
Outdoor Augmented Reality Gaming on Five Dollars a Day
The latest hardware available for creating playable augmented reality games is too expensive to be used in consumer-level products at the current time. Low-end hardware exists tha...
Ben Avery, Bruce H. Thomas, Joe Velikovsky, Wayne ...