Sciweavers

1648 search results - page 120 / 330
» Structuring namespace descriptions
Sort
View
FBT
2000
167views Formal Methods» more  FBT 2000»
15 years 5 months ago
Diagrams for Dataflow
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
Max Breitling, Jan Philipps
118
Voted
JIS
2007
120views more  JIS 2007»
15 years 3 months ago
A multi-layer metadata schema for digital folklore collections
Digital folklore collections are valuable sources for studying cultural and oral tradition of a country. The main difficulty in managing such collections is material heterogeneity...
Irene Lourdi, Christos Papatheodorou, Mara Nikolai...
FAC
2010
148views more  FAC 2010»
15 years 2 months ago
Automating the transformation-based analysis of visual languages
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
Juan de Lara, Hans Vangheluwe
125
Voted
JSS
2010
215views more  JSS 2010»
15 years 2 months ago
Analyzing architectural styles
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
Jung Soo Kim, David Garlan
IPPS
2010
IEEE
15 years 1 months ago
Static macro data flow: Compiling global control into local control
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
Pritish Jetley, Laxmikant V. Kalé