The Message Transformation Model (MTM), for modeling complex message transformation processes in data centric application scenarios, provides strong capabilities for describing the...
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
Abstract. There has recently been many proposals to adopt an argumentative approach to decision-making. As the underlying assumptions made in these different approaches are not al...
Wassila Ouerdane, Nicolas Maudet, Alexis Tsouki&ag...
Abstract The increasingly complex and dynamic nature of contemporary markets demands that a business engages in an ongoing dialogue with all aspects of its environment, including o...
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...