958 search results - page 30 / 192 » Model Transformation Languages and Their Implementation by B... |
141
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
137
Voted
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
145
Voted
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
138
Voted
PRDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...
118
Voted
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...