Global Editions

Tag Archives: Networks

Applying Formal Methods to Ensure Accurate and Reliable Engineering Systems

Applying Formal Methods to Ensure Accurate and Reliable Engineering Systems

These days hardware and software systems are progressively being used in safety-critical domains, such as automated transportation networks and electronic military and medicine equipment. This makes the accuracy of their analysis of vital importance since an uncaught system bug can endanger human …Continue reading

Connecting the Unconnected

A spotlight on Pakistan’s telecom sector in the backdrop of smart cities. With a teledensity of 71 percent, 133 million mobile subscribers and 31.8 million mobile broadband (MBB) subscribers, Pakistan ranks sixth in the top ten smartphone markets for growth potential. This …Continue reading

WhatsApp to Launch Video Calling

Popular communication app Whatsapp has officially launched video calling for all its users world wide. Competing with Apple’s FaceTime and Google’s Duo,  the service will become available on iOS, Android and Windows Phones over the next few days. To video call, WhatsApp …Continue reading

Top