Searched for: "model checking software and beyond"
- Developer (15)
- Hardware (15)
- Software (15)
- Cxo (13)
- Microsoft (13)
- Enterprise Software (8)
- Security (8)
- Data Centers (7)
- Open Source (7)
- After Hours (5)
- Mobility (5)
- Networking (5)
- Collaboration (4)
- Apple (3)
- Data Management (3)
- Project Management (3)
- Social Enterprise (3)
- Consumerization (2)
- Innovation (2)
- Start-Ups (2)
- Storage (2)
- Tech & Work (1)
- Tech Industry (1)
About 142 results for "model checking software and beyond"
Want Windows 10 on an old PC? Here's a look at some of the oldest machines that should be able to run Microsoft's latest operating system.
For professionals and companies looking at taking their brands to VR, there's much to consider when selecting the right headset.
Learn how open source, open data, and agile development is driving innovation in mapping software, particularly from startups CartoDB and Mapbox.
Kick off the New Year with these smart practices for propelling your IT department -- and your company -- toward success.
Alex Howard shares insights on technological innovation gleaned from reading "The Innovators," Walter Isaacson's seminal history of the digital era.
Hardware engineer Andrew 'bunnie' Huang on how his path to building an open source computer started with a childhood fascination with the Apple II and why we need to rediscover ope...
Find out what the Heartbleed security threat might mean to you and your organization and how to handle it.
Software Defined Networking (SDN) is generating interest in the networking realm. Learn why it's important, what Cisco is doing about it, and what the competition has to say about ...
Good Secure Mobility Solution brings together collaboration, security, and productivity for iOS and Android devices inside the enterprise.
Stacked against investments in other areas like new hardware or software purchases, the help desk is often overlooked yet is tasked with a larger support role with each passing yea...