NICTA pushes seL4 microkernel beyond drones
The seL4 microkernel, the “world’s most highly assured OS”, has just been released as open source, which will help it evolve beyond its military use, says NICTA.
The seL4 microkernel, the “world’s most highly assured OS”, has just been released as open source, which will help it evolve beyond its military use, says NICTA.
The Australian Bureau of Statistics (ABS) has developed a Web service or API, based on the Representational State Transfer (REST) architectural principle, that allows users to create their own population clock.
Although a mining pool last month managed to briefly control the majority of the computing power used to generate the Bitcoin crypto-currency, a so-called '51 per cent attack' remains unlikely.
The Australian National University (ANU) has secured a $5 million contract to design the Giant Magellan Telescope Integral Field Spectrometer (GMTIFS)and $6.4 million to help develop a space debris tracking system for the Korean Astronomy and Space Science Institute.
More than 1200 developers and technologists across Australia hacked away over a 48-hour period to produce innovative tools and apps at this year’s GovHack event, which took place 11-13 July.
Web companies and user groups worldwide believe copyright-related proposals included in the Trans-Pacific Partnership (TPP) trade agreement will force ISPs to police their customers' online activities.
NICTA has created a video that demonstrates how its seL4 microkernel, the “world’s most highly assured OS”, can be used to operate drones.
NICTA has created a video that demonstrates how its seL4 microkernel, the “world’s most highly assured OS”, works on drones.
Nineteen per cent of Australian consumers are connecting their smartphones and tablets to other devices in their homes and 16 per cent have in-car connectivity, according to research firm TNS.
Just when you think you’ve got yourself all covered on the security front, an attack comes out of nowhere and bites you on the arse. You think to yourself: How did I not see that coming?
seL4 microkernel, the “world’s most highly assured OS”, is set to go open source on 29 July, 2014.
Waiting more than 19 hours for some reports to run on a five-year-old SAN drove the IT manager of utility delivery partner Tenix, Andrew Pamflett, up the wall.
The Australian Bureau of Statistics has released figures today that show Australia businesses have spent $3.19 billion in computer software the first quarter of 2014, an increase from $2.95 billion in March quarter 2013.
Brisbane’s first Bitcoin ATM launched today, allowing users to make cash withdrawals using their online bitcoin wallet or purchase bitcoins.
Changes to higher education student fee systems and funding cuts to research organisations in this year's budget are a concern for some people in IT and science sectors that are struggling to find staff and money to innovate.