Sciweavers

194 search results - page 11 / 39
» Algebraic Laws for Feature Models
Sort
View
SIAMAM
2008
80views more  SIAMAM 2008»
13 years 7 months ago
Shock Solutions for Particle-Laden Thin Films
We derive a lubrication model describing gravity-driven thin film flow of a suspension of heavy particles in viscous fluid. The main features of this continuum model are an effecti...
Benjamin P. Cook, Andrea L. Bertozzi, A. E. Hosoi
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
13 years 11 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
IDEAS
2000
IEEE
108views Database» more  IDEAS 2000»
13 years 11 months ago
Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
Stefan Dieker, Ralf Hartmut Güting
IFM
1999
Springer
13 years 11 months ago
Integration Problems in Telephone Feature Requirements
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
J. Paul Gibson, Geoff Hamilton, Dominique Mé...
MFCS
2004
Springer
14 years 23 days ago
Captive Cellular Automata
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
Guillaume Theyssier