Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...
This paper studies the parameter estimation of a general multi-input, multi-output multi-rate system in the frequency-domain. Two methods, named dividing to subsystems and input e...
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
Supply chain management is a critically significant strategy that enterprises depend on in meeting the challenges of today's highly competitive and dynamic business environme...
Luis Rabelo, Magdy Helal, Chalermmon Lertpattarapo...