Sciweavers

2123 search results - page 197 / 425
» Composition of Cyber-Physical Systems
Sort
View
TCC
2005
Springer
118views Cryptology» more  TCC 2005»
16 years 2 days ago
On the Relationships Between Notions of Simulation-Based Security
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
Anupam Datta, Ralf Küsters, John C. Mitchell,...
NIME
2004
Springer
114views Music» more  NIME 2004»
15 years 12 months ago
Tree Music: Composing with GAIA
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
Judith Shatin, David Topper
CBMS
2002
IEEE
15 years 11 months ago
A Case Base Reasoning Framework to Author Personalized Health Maintenance Information
We present a Personalized Health Information Generation and Delivery System that leverages case based reasoning techniques to dynamically author a Personalized Health Information ...
Syed Sibte Raza Abidi
IV
2002
IEEE
129views Visualization» more  IV 2002»
15 years 11 months ago
Design and Implementation of a Visual Query Language for Large Spatial Databases
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...
Andrew J. Morris, Alia I. Abdelmoty, Douglas Tudho...
156
Voted
DATE
2000
IEEE
87views Hardware» more  DATE 2000»
15 years 11 months ago
Test Synthesis for Mixed-Signal SOC Paths
Higher levels of integration, the need for test re-use, and the mixed-signal nature of today’s SOC’s necessitate hierarchical test generation and system level test composition...
Sule Ozev, Ismet Bayraktaroglu, Alex Orailoglu