Sciweavers

1975 search results - page 176 / 395
» Property analysis and design understanding
Sort
View
FTDCS
1997
IEEE
15 years 11 months ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 4 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
ICML
1995
IEEE
16 years 7 months ago
Visualizing High-Dimensional Structure with the Incremental Grid Growing Neural Network
Understanding high-dimensional real world data usually requires learning the structure of the data space. The structure maycontain high-dimensional clusters that are related in co...
Justine Blackmore, Risto Miikkulainen
IV
2007
IEEE
109views Visualization» more  IV 2007»
16 years 28 days ago
Visualization Criticism - The Missing Link Between Information Visualization and Art
Classifications of visualization are often based on technical criteria, and leave out artistic ways of visualizing information. Understanding the differences between information ...
Robert Kosara
ACII
2007
Springer
16 years 26 days ago
Does Body Movement Engage You More in Digital Game Play? and Why?
In past years, computer game designers have tried to increase player engagement by improving the believability of characters and environment. Today, the focus is shifting toward im...
Nadia Bianchi-Berthouze, Whan Woong Kim, Darshak P...