Sciweavers

1431 search results - page 98 / 287
» Solving Constraints in Model Transformations
Sort
View
RTSS
2000
IEEE
15 years 8 months ago
Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...
Damir Isovic, Gerhard Fohler
JCP
2008
126views more  JCP 2008»
15 years 4 months ago
Extension Information-Knowledge-Strategy System for Semantic Interoperability
This paper discusses the issue of information interoperability. In view of the problems that it is difficult to solve the semantic conflicts in information interoperability, the pa...
Li Weihua, Yang Chunyan
ASPDAC
2005
ACM
114views Hardware» more  ASPDAC 2005»
15 years 6 months ago
Redundant-via enhanced maze routing for yield improvement
- Redundant via insertion is a good solution to reduce the yield loss by via failure. However, the existing methods are all post-layout optimizations that insert redundant via afte...
Gang Xu, Li-Da Huang, David Z. Pan, Martin D. F. W...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 11 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
ICWE
2009
Springer
15 years 11 months ago
UWE4JSF: A Model-Driven Generation Approach for Web Applications
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
Christian Kroiss, Nora Koch, Alexander Knapp