Software news

Software

Where's the bug? AI pinpoints and explains flaws in smart contracts

Smart contracts are computer programs that run on blockchains and carry out agreements automatically, like a vending machine that releases a product once payment is made. Today they power cryptocurrency payments, online lending ...

Software

A blueprint for future quantum computer software

In the future, quantum computers could solve complex problems where today's computers fall short, for example, in the development of new materials or supply-chain planning. To date, however, the systems have been prone to ...

Software

AI builds custom decision-making software in about an hour instead of months

Researchers at Nanyang Technological University, Singapore (NTU Singapore) have developed an artificial intelligence (AI) framework that automates the creation of complex decision-making software, cutting development time ...

Software

Cloud-based platform pinpoints delays across complex autonomous-driving software

Autonomous-driving systems must process large volumes of sensor data and generate vehicle-control commands within strict time limits. As vehicles increasingly become software-defined, their development often involves multiple ...

Software

Video games could make us better people

Addiction, violence, aggression, social withdrawal: Video games have been in the crosshairs for a litany of negative impacts. Researchers at Macquarie University, however, are working on the premise that video games can have ...

Software

How randomness tames vast network problems

Networks are everywhere. They connect computers across the internet, carry electricity through power grids and represent transport routes for moving people and goods. Yet many problems that appear to have nothing to do with ...

Software

Driverless cars race wheel to wheel in Europe for first time

Nanyang Technological University, Singapore (NTU Singapore), UAE technology company K2 and autonomous systems specialist Alp Autonomy have won the world's first multi-car autonomous race held in Europe after their joint entry, ...

Software

New system recognizes masked faces using eyes and forehead

A face-recognition system that can identify people even if they are wearing a face mask covering their nose and mouth is discussed in the International Journal of Computational Vision and Robotics. The new system uses biometrics ...

Software

Researchers break Apple's new MacBook pro weeks after release

A Georgia Tech researcher has successfully evaded security measures on Apple's latest MacBook Pro with the M3 processor chip to capture his fictional target's Facebook password and second-factor authentication text.

Software

Five things to know about the blockbuster GTA games

Rockstar Games, the studio behind the blockbuster Grand Theft Auto series, has said it will release the trailer for the next installment in December, setting the gaming world abuzz.

Software

New tool automates the formal verification of systems software

Formal systems verification, which mathematically proves that code is secure in all circumstances, is a relatively new technology. Software is getting more complex and harder to get right using traditional software testing ...

Software

How video games are being used by foreign actors and extremists

Video games are easy to exploit, and are being used by actors ranging from IS and Hezbollah for recruitment, to Russia, who use it to spread propaganda during the ongoing invasion of Ukraine. This according to a new report ...

Software

New method could reshape future software development

Sebastian Hönel from Linnaeus University has, in his computer science dissertation, introduced a new method to measure and enhance the quality of software processes. The method focuses on understanding how software is developed ...