Sciweavers

648 search results - page 118 / 130
» A Proposal for ASM Diagrams
Sort
View
IV
2010
IEEE
172views Visualization» more  IV 2010»
13 years 6 months ago
An Application of Edge Bundling Techniques to the Visualization of Media Analysis Results
The advent of consumer-generated and social media has led to a continuous expansion and diversification of the media landscape. Media consumers frequently find themselves assuming ...
Wolfgang Kienreich, Christin Seifert
SEDE
2010
13 years 6 months ago
BigCube: A Metamodel for Managing Multidimensional Data
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...
Ganesh Viswanathan, Markus Schneider
DSD
2009
IEEE
93views Hardware» more  DSD 2009»
13 years 6 months ago
Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...
Antonio da Silva, Sebastian Sanchez
RE
2010
Springer
13 years 3 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
TAOSD
2010
13 years 3 months ago
Aspect-Oriented Design with Reusable Aspect Models
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
Jörg Kienzle, Wisam Al Abed, Franck Fleurey, ...