Sea-cnn: Scalable processing of continuous k-nearest neighbor queries in spatio-temporal databases
Location-aware environments are characterized by a large number of objects and a large
number of continuous queries. Both the objects and continuous queries may change their …
number of continuous queries. Both the objects and continuous queries may change their …
A model-driven framework for guided design space exploration
Abstract Design space exploration (DSE) aims at searching through various models
representing different design candidates to support activities like configuration design of …
representing different design candidates to support activities like configuration design of …
Multi-objective optimization in rule-based design space exploration
Design space exploration (DSE) aims to find optimal design candidates of a domain with
respect to different objectives where design candidates are constrained by complex …
respect to different objectives where design candidates are constrained by complex …
Development of correct graph transformation systems
KH Pennemann - … : 4th International Conference, ICGT 2008, Leicester …, 2008 - Springer
A major goal of this thesis is the ability to determine the correctness of graphical
specifications consisting of a graph precondition, a graph program and graph postcondition …
specifications consisting of a graph precondition, a graph program and graph postcondition …
Weakest preconditions for high-level programs
A Habel, KH Pennemann, A Rensink - … , ICGT 2006 Natal, Rio Grande do …, 2006 - Springer
In proof theory, a standard method for showing the correctness of a program wrt given pre-
and postconditions is to construct a weakest precondition and to show that the precondition …
and postconditions is to construct a weakest precondition and to show that the precondition …
A formal framework for the development of concurrent object-based systems
LNCS 3393 - A Formal Framework for the Development of Concurrent Object-Based Systems
Page 1 A Formal Framework for the Development of Concurrent Object-Based Systems * Leila …
Page 1 A Formal Framework for the Development of Concurrent Object-Based Systems * Leila …
Towards guided trajectory exploration of graph transformation systems
Graph transformation systems (GTS) are often used for modeling the behavior of complex
systems. A common GTS analysis scenario is the exploration of its state space from an initial …
systems. A common GTS analysis scenario is the exploration of its state space from an initial …
Correct transformation: From object-based graph grammars to PROMELA
Model transformation is an approach that, among other advantages, enables the reuse of
existing analysis and implementation techniques, languages and tools. The area of formal …
existing analysis and implementation techniques, languages and tools. The area of formal …
Code generation for parallel applications modelled with object-based graph grammars
F Pasini, FL Dotti - Electronic Notes in Theoretical Computer Science, 2007 - Elsevier
During the development of a parallel application, besides being able to analyze
performance aspects, it is highly desirable to be able to assure functional properties as early …
performance aspects, it is highly desirable to be able to assure functional properties as early …
Verifying object-based graph grammars: An assume-guarantee approach
The development of concurrent and reactive systems is gaining importance since they are
well-suited to modern computing platforms, such as the Internet. However, the development …
well-suited to modern computing platforms, such as the Internet. However, the development …