958 search results - page 30 / 192 » Model Transformation Languages and Their Implementation by B... |
118
click to vote
IFIP
2004
Springer
15 years 6 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...
107
click to vote
ICALP
2000
Springer
15 years 4 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...
126
click to vote
WORDS
2003
IEEE
15 years 6 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...
120
click to vote
PRDC
2008
IEEE
15 years 7 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...
DOCENG
2003
ACM
15 years 6 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...