Sciweavers

4350 search results - page 589 / 870
» Case studies for contract-based systems
Sort
View
IV
2005
IEEE
149views Visualization» more  IV 2005»
16 years 11 days ago
Visualisation Techniques for Users and Designers of Layout Algorithms
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
Greg Ross, Alistair Morrison, Matthew Chalmers
MSE
2005
IEEE
137views Hardware» more  MSE 2005»
16 years 11 days ago
Teaching SoC Design in a Project-Oriented Course Based on Robotics
The fast growing complexity and short time-tomarket of embedded systems designs, besides the great increase in capacity of today’s chips, are mobilizing the industry towards to ...
Abner Correa Barros, Pericles Lima, Juliana Xavier...
VISSOFT
2005
IEEE
16 years 11 days ago
Fractal Figures: Visualizing Development Effort for CVS Entities
Versioning systems such as CVS or Subversion exhibit a large potential to investigate the evolution of software systems. They are used to record the development steps of software ...
Marco D'Ambros, Michele Lanza, Harald Gall
UC
2005
Springer
16 years 8 days ago
On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata
Abstract. We study computational complexity of counting the fixed point configurations (FPs) in certain classes of graph automata viewed as discrete dynamical systems. We prove t...
Predrag T. Tosic, Gul A. Agha
MM
2004
ACM
206views Multimedia» more  MM 2004»
16 years 6 days ago
Seeing sounds: exploring musical social networks
Information gathering from multimedia retrieval systems is aided by effective visualization, but the degree to which visualization is effective depends in part on the way the cont...
Piotr D. Adamczyk