807 search results - page 90 / 162 » Model Transformation Language MOLA |
POPL
2009
ACM
14 years 4 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...
VALUETOOLS
2006
ACM
14 years 4 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...
WSC
1997
13 years 11 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...
SIGADA
2005
Springer
14 years 3 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...
ICAS
2008
IEEE
14 years 4 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...