Sciweavers

1134 search results - page 42 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
TCS
2002
15 years 2 months ago
A truly concurrent semantics for a process algebra using resource pomsets
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
Paul Gastin, Michael W. Mislove
ER
2004
Springer
119views Database» more  ER 2004»
15 years 8 months ago
Schema Evolution in Data Warehousing Environments - A Schema Transformation-Based Approach
Abstract. In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialised integrated database. The schemas of the data sources and the in...
Hao Fan, Alexandra Poulovassilis
ISPW
1996
IEEE
15 years 7 months ago
Feedback, evolution and software technology
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
M. M. Lehman
CSB
2005
IEEE
118views Bioinformatics» more  CSB 2005»
15 years 8 months ago
Gene Teams with Relaxed Proximity Constraint
Functionally related genes co-evolve, probably due to the strong selection pressure in evolution. Thus we expect that they are present in multiple genomes. Physical proximity amon...
Sun Kim, Jeong-Hyeon Choi, Jiong Yang
AAAI
2008
15 years 5 months ago
Dynamic Distributed Constraint Reasoning
What local action can agents take, without the benefit of global knowledge, to produce the best global solution? Many dynamic distributed systems can be modeled using techniques f...
Robert N. Lass, Evan Sultanik, William C. Regli