Sciweavers

2838 search results - page 232 / 568
» Verifying Controlled Components
Sort
View
104
Voted
MSE
2002
IEEE
153views Hardware» more  MSE 2002»
15 years 5 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
82
Voted
AEI
2010
115views more  AEI 2010»
15 years 28 days 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 22 days 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
74
Voted
ICMCS
2006
IEEE
125views Multimedia» more  ICMCS 2006»
15 years 6 months 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
15 years 6 months 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 ...