Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
— The mobile communication systems today, have different radio spectrum, radio access technologies, and protocol stacks depending on the network being utilized. This gives rise t...
The Shalvi-Weinstein super-exponential algorithm for blind channel equalization employs empirical high-order cross-cumulants between the equalizer’s input and output for iterati...
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge...
Using an extensive case analysis of the Bhoomi system of India, this paper examines the role and nature of the state with regards to the rationale for and deployment of e-governmen...