Sciweavers

2542 search results - page 157 / 509
» integration 2010
Sort
View
ENTCS
2007
108views more  ENTCS 2007»
14 years 11 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
ENTCS
2007
124views more  ENTCS 2007»
14 years 11 months ago
Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant
bstractions for a Jazz Improvisation Assistant Robert Keller1 Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin Computer Science Harvey Mudd College Claremont, California, US...
Robert Keller, Martin Hunt, Stephen Jones, David M...
EOR
2007
128views more  EOR 2007»
14 years 11 months ago
Value of capacity pooling in supply chains with heterogeneous customers
We investigate the value of pooling capacity in supply chains that serve product demands of different variabilities. We build and analyze models that integrate production queuing...
Apurva Jain
EOR
2007
77views more  EOR 2007»
14 years 11 months ago
A review of congestion models in the location of facilities with immobile servers
Capacity effects are investigated, particularly as regards congestion of facilities with immobile (or fixed) servers. A review is given of research to date in this area, togethe...
Brian Boffey, Roberto D. Galvão, Luis Gonza...
ENTCS
2002
97views more  ENTCS 2002»
14 years 11 months ago
Sketch Data Models, Relational Schema and Data Specifications
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
Michael Johnson, Robert D. Rosebrugh