Sciweavers

647 search results - page 84 / 130
» Collage, composites, construction
Sort
View
AMAI
2007
Springer
14 years 9 months ago
Database querying under changing preferences
We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is query modification: a query tran...
Jan Chomicki
DM
2010
108views more  DM 2010»
14 years 9 months ago
Locally toroidal polytopes and modular linear groups
When the standard representation of a crystallographic Coxeter group G (with string diagram) is reduced modulo the integer d 2, one obtains a finite group Gd often the automorphi...
Barry Monson, Egon Schulte
ENTCS
2008
99views more  ENTCS 2008»
14 years 9 months ago
A Categorical Model of the Fusion Calculus
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...
Marino Miculan
IEE
2008
100views more  IEE 2008»
14 years 9 months ago
Extending grammars and metamodels for reuse: the Reuseware approach
The trend toward domain-specific languages leads to an ever-growing plethora of highly specialized languages. Developers of such languages focus on their specific domains rather t...
Jakob Henriksson, Florian Heidenreich, Jendrik Joh...
61
Voted
ENTCS
2006
109views more  ENTCS 2006»
14 years 9 months ago
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...