Sciweavers

2722 search results - page 289 / 545
» The Model Evolution Calculus
Sort
View
AMC
2007
102views more  AMC 2007»
15 years 3 months ago
Existence and computation of short-run equilibria in economic geography
The new economic geography literature provides a general equilibrium framework that explains the emergence of economic agglomerations as a trade-off between increasing returns at...
Nicos G. Pavlidis, Michael N. Vrahatis, P. Mossay
OOPSLA
2009
Springer
15 years 8 months ago
MT-scribe: a tool for recording and inferring model transformations
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
Yu Sun, Jeff Gray, Jules White
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
15 years 5 months ago
Computation Tree Regular Logic for Genetic Regulatory Networks
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, H...
152
Voted
ECBS
2009
IEEE
193views Hardware» more  ECBS 2009»
15 years 1 months ago
CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems
Current domain-specific modeling (DSM) frameworks for designing component-based systems often consider the system's structural and behavioral concerns as the two dominant con...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
IMAGING
2001
15 years 4 months ago
Darwinism of Color Image Difference Models
The world of color image difference modeling can be considered relatively young, when compared with the rich history of general color difference equations. While young, this area ...
Garrett M. Johnson, Mark D. Fairchild