Sciweavers

374 search results - page 40 / 75
» Towards Translating Graph Transformation Approaches by Model...
Sort
View
FASE
2009
Springer
15 years 8 months ago
Object Flow Definition for Refined Activity Diagrams
Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we ref...
Stefan Jurack, Leen Lambers, Katharina Mehner, Gab...
235
Voted
SYRCODIS
2008
184views Database» more  SYRCODIS 2008»
15 years 5 months ago
Towards Cost-based Query Optimization in Native XML Database Management Systems
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...
Andreas M. Weiner, Christian Mathis, Theo Här...
CVIU
2010
114views more  CVIU 2010»
15 years 4 months ago
Generic self-calibration of central cameras
We consider the self-calibration problem for the generic imaging model that assigns projection rays to pixels without a parametric mapping. In this paper, we consider the central ...
Srikumar Ramalingam, Peter F. Sturm, Suresh K. Lod...
ICWE
2005
Springer
15 years 9 months ago
Towards Model-Driven Testing of a Web Application Generator
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
Luciano Baresi, Piero Fraternali, Massimo Tisi, Sa...
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
15 years 2 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis