320 search results - page 39 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
102
click to vote
LICS
1997
IEEE
15 years 4 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
113
Voted
ICAS
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
94
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
117
click to vote
ENTCS
2010
14 years 10 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
133
Voted
IESS
2007
Springer
15 years 6 months ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...