Web service composition enables seamless and dynamic integration of business applications on the web. The performance of the composed application is determined by the performance ...
Reverse Nearest Neighbor (RNN) queries are of particular interest in a wide range of applications such as decision support systems, profile based marketing, data streaming, docum...
Amit Singh, Hakan Ferhatosmanoglu, Ali Saman Tosun
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
In a container transport system, wireless sensor networks (WSNs) can be used for monitoring products while they are being transported. To be commercially interesting, these WSNs m...
Implementing and maintaining complicated manufacturing processes in an error-free mode is essential to the survival of any manufacturing business. One essential element to realizi...