Sciweavers

1139 search results - page 105 / 228
» Aligning Goal Models and Business Models - extended abstract
Sort
View
IEAAIE
2001
Springer
15 years 10 months ago
A Knowledge Model for Automatic Configuration of Traffic Messages
: This paper describes a knowledge model for a configuration problem in the domain of traffic control. The goal of this model is to help traffic engineers in the dynamic selection ...
Martín Molina, Mónica Robledo
SIGMOD
1993
ACM
140views Database» more  SIGMOD 1993»
15 years 10 months ago
Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
Ralf Hartmut Güting
ICDE
2007
IEEE
89views Database» more  ICDE 2007»
15 years 10 months ago
A Flexible Query Graph Based Model for the Efficient Execution of Continuous Queries
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
Yijian Bai, Hetal Thakkar, Haixun Wang, Carlo Zani...
ECOOP
2008
Springer
15 years 8 months ago
On Validity of Program Transformations in the Java Memory Model
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
Jaroslav Sevcík, David Aspinall
NC
2010
146views Neural Networks» more  NC 2010»
15 years 4 months ago
Petri nets for modelling metabolic pathways: a survey
Abstract. In the last fifteen years, several research efforts have been directed towards the representation and the analysis of metabolic pathways by using Petri nets. The goal o...
Paolo Baldan, Nicoletta Cocco, Andrea Marin, Marta...