This paper presents a lifecycle model that corresponds to a factor of ten improvement in software development productivity. It is argued that this level of productivity may be met today without aiding the general software crisis. Success and failure in software is not just a matter of improving software development productivity. Software flexibility for a changing world must also be

The world now faces the next step in HIV management. We are in an era beyond treatment and viral suppression. The widespread roll out of antiretroviral treatment and good HIV testing programmes within pregnancy might substantially change vertical transmission rates globally. Lifelong treatment and innovations, such as those financed by the Global Fund, provide a pathway— indeed a lifeline—for s...

As more science and natural history museums move away from the tired ‘stuffed animals and fossils’ format towards interactive exhibits, some are also offering dynamic cyber visits. Now, there’s no need to leave your desk to examine fossils in three dimensions or check out Galileo’s body parts. The first stop on an online museum tour should be the San Francisco Exploratorium, where there’s an ex...

The term Linked Data refers to a set of best practices for publishing and connecting structured data on the Web. These best practices have been adopted by an increasing number of data providers over the last three years, leading to the creation of a global data space containing billions of assertions the Web of Data. In this article we present the concept and technical principles of Linked Data...

The continuous adoption of Near Field Communication (NFC) tags offers many new applications whose security is essential (e.g., contactless payments). In order to prevent flaws and attacks, we develop in this article a framework allowing us analyse the underlying protocols, taking into account location agents transmission delay when exchanging messages. We propose two reduction results render au...