With the rise of distributed e-commerce in recent years, demand for automated negotiation has increased. In turn, this has facilitated a demand for ever more complex algorithms to...
Peter Henderson, Stephen Crouch, Robert John Walte...
In this work informal learning theories and practices and social networking features are taken as starting points to build a reference collaboration model to support collaborative ...
SOA, Service Oriented Architecture, some people tightly couple this concept with some technologies, as some believes that SOA is about Web Services and its orchestrations. SOA, is ...
We believe that there is a very strong need for an environment to support research and experiments on model-driven engineering. Therefore we have started the TopModL project, an o...
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...