Sciweavers

3330 search results - page 456 / 666
» software 2010
Sort
View
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 3 months ago
Evolving Graph Representation and Visualization
The study of evolution of networks has received increased interest with the recent discovery that many real-world networks possess many things in common, in particular the manner ...
Anurat Chapanond, Mukkai S. Krishnamoorthy, G. M. ...
214
Voted
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 3 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
DMS
2010
203views Multimedia» more  DMS 2010»
15 years 3 months ago
Recognizing Sketches of Euler Diagrams Drawn with Ellipses
Euler diagrams form the basis of a number of visual languages. However, the existing tool support for creating Euler diagrams is limited to generic diagram editing software that u...
Aidan Delaney, Beryl Plimmer, Gem Stapleton, Peter...
ENTER
2010
Springer
15 years 3 months ago
Semantic Online Tourism Market Monitoring
SEMAMO (SEmantic MArket MOnitoring) is a research project seeking to make use of the increasingly growing information available at Web-based sales and marketing channels for conti...
Norbert Walchhofer, Milan Hronsky, Michael Pö...
ICTAC
2010
Springer
15 years 3 months ago
Formal Modelling of Separation Kernel Components
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
Andrius Velykis, Leo Freitas