Developing Provably-Correct Software Using Formal Methods by Ben Linders Posted on May 22, 2015
IBM MobileFirst Platform Foundation 7.0 now Supports Cloudant, REST, oAuth by Sergio De Simone Posted on May 13, 2015
Mobile-First in Africa: How Mobile Phones are Changing Health Care in Africa by Sergio De Simone Posted on May 18, 2015
Deploying Microservices to AWS at Gilt: Introducing ION-Roller by Natalia Bartol, Gary Coady, Adrian Trenaman Posted on May 08, 2015 7
What Scares You Most About Adopting a Microservice Architecture?
Microservices solve all architectural problems - or do they? Which of the many challenges of a microservice architecture worries you most?
What IoT Technology Have You Used or Learned About?
InfoQ Research wants to determine the technologies mostly used by our community in their IoT projects.
Emerging Trends in Big Data Technologies
Big Data technologies have been getting lot of attention over the last few years. There are several trends and innovations happening in this space. InfoQ would like to learn what new trends in Big Data you are currently using or planning on using in the future.
Hadoop ecosystem capabilities: What to add next?
The last 5 years the Hadoop ecosystem has expanded rapidly to satisfy for various production needs. Most recently a number of real-time workloads and tools have been brought to this new generation data processing and management platform.