Browsing by Subject Enterprise application integration (Computer systems)
Showing results 1 to 6 of 6
Issue Date | Title | Author(s) |
2005 | An enterprise integration project management framework | Cachia, Ernest; Vella, Mark Joseph |
2007 | An enterprise integration specific project framework | Vella, Mark Joseph |
2009 | A formal model of provenance in distributed systems | Souilah, Issam; Francalanza, Adrian; Sassone, Vladimiro |
2006 | Formal verification of enterprise integration architectures | Cachia, Ernest; Vella, Mark Joseph |
2007 | Proving distributed algorithm correctness using fault tolerance bisimulations | Francalanza, Adrian; Hennessy, Matthew |
2007 | Using weak bisimulation for enterprise integration architecture formal verification--I | Cachia, Ernest; Vella, Mark Joseph |