Recent advances in micro-electromechanical (MEMS) technology have led to the development of small, lowcost, and low-power sensors. Wireless sensor networks (WSNs) are large-scale ...
Bharath Sundararaman, Ugo Buy, Ajay D. Kshemkalyan...
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
We develop a methodology to grasp temporal trend in a stock market that changes year to year, or sometimes within a year depending on numerous factors. For this purpose, we employ ...
spectives. A total of 149 abstracts were accepted and presented in the poster session and 31 of them were selected for oral presentation. At the opening of the meeting, Roderic Gui...