UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
This study adopts a stakeholder analysis to examine stakeholders’ roles and contributions in influencing organizational decisions to abandon information systems (IS) development...
Stability in presence of bounded uncertain time-varying delays in the feedback loop of a system is studied. The delay parameter is assumed to be an unknown time-varying function f...
Abstract—The predicted capacity gain of a traditional colocated MIMO system is often severely limited in realistic propagation scenarios, especially when the number of antennas b...
Recent study for congestion control in high speed networks indicates that the derivative information for the congestion at the common buffer for multiple sources could be useful i...