6040 search results - page 81 / 1208 » Generating Instance Models from Meta Models |
COCOA
2010
Springer
13 years 3 months ago
2010
Springer
An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
- Structural properties of two well-known families of keystream generators, Shrinking Generators and Cellular Automata, have been analyzed. Emphasis is on the equivalenceof the bin...
IJCV
2007
13 years 8 months ago
2007
— This work presents an automatic algorithm for extracting vectorial land registers from altimetric data in dense urban areas. We focus on elementary shape extraction and propose...
COORDINATION
2009
Springer
14 years 3 days ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...