1146 search results - page 37 / 230 » Applications of the TAMPR Transformation System |
132
click to vote
GPEM
2006
15 years 3 months ago
2006
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...
144
click to vote
SEM
2004
Springer
15 years 9 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
132
click to vote
ISADS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper shows how modern structuring techniques can be employed in integrating complex web applications such as Travel Agency systems. The main challenges the developers of suc...
255
click to vote
CASCON
2010
15 years 17 days ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
184
click to vote
ICSEA
2009
IEEE
15 years 1 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...