Abstract—The component-based and service-oriented development have become commonly used techniques for building high quality, evolvable, large systems in a timely and affordable ...
CT The mobile internet has finally arrived with the sky-rocketing usage increase of HSPA. LTE, WiMAX and evolved WiFi are the upcoming wireless standards which are based on OFDM an...
— Unlike statically stable wheeled mobile robots, dynamically stable mobile robots can have higher centers of gravity, smaller bases of support and can be tall and thin resemblin...
Umashankar Nagarajan, Anish Mampetta, George Kanto...
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...