C Menon, M Johnson, C Lakos - Electronic Notes in Theoretical Computer …, 2005 - Elsevier
Inconsistency management in component-based languages is the identification and resolution of conflicting constraints or expectations between the different components which …
This thesis presents a categorical approach to the detection, classification and resolution of inconsistencies which commonly arise in modular systems. This categorical approach relies …
G Jeon, R Falcón, J Jeon - Granular Computing: At the Junction of Rough …, 2008 - Springer
This chapter is concerned with the introduction of a new resampling algorithm for high resolution display dependent upon upscaling methods. Our proposed algorithm performs …
G Kimmell, N Frisby, P Alexander - researchgate.net
Rosetta is a heterogeneous, systems-level design language formally defined using a coalgebraic semantics. Rosetta models can be written in a variety of domains, each …