807 search results - page 90 / 162 » Model Transformation Language MOLA |
117
Voted
POPL
2009
ACM
15 years 9 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
135
click to vote
VALUETOOLS
2006
ACM
15 years 8 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
128
Voted
WSC
1997
15 years 3 months ago
1997
We are developing a parallel simulation framework for large-scale network simulation. An important component of this work is the development of a TCP/IP model library. TCP/IP expe...
106
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
131
Voted
ICAS
2008
IEEE
15 years 9 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...