- Designer freighters with no pilots may become a reality, says Boeing strategy chief July 19, 2018
- Cargo must be ‘at the forefront’ of Britain’s post-Brexit aviation policy July 19, 2018
- 2M Alliance in Asia-US east coast transpacific services tie-up with Zim July 19, 2018
- K+N ‘en route for success in 2018’, with first-half revenue and profits up July 19, 2018
- US retailers rush to fill shelves before trade war tariffs start to bite July 19, 2018
- New York launches $100m barge and rail freight programme July 19, 2018
- Volga-Dnepr unveils major plans for new regional air cargo hub at Liege July 18, 2018
- ‘Drones are the ‘ideal solution’ to getting cargo to Africa’s remote areas’ July 18, 2018
- Most IoT Projects Failing, Deloitte Says, but Technology Help is On the Way July 18, 2018
- Supply Chain News on New US Tariffs will Hit Many US Manufacturers Hard because of Focus on Intermediate Goods July 18, 2018
- Supply Chain Newsmakers Video Series on John Santagate of IDC on Mobile Robots in Distribution July 17, 2018
- Ports of the Future in a New Ecosystem July 5, 2018
- Securing Future Ports with Multi-Level Cyber Security October 9, 2017
- Are TOS Systems Efficient Enough for SMTs? March 22, 2017
- #SNAME125 July 19, 2018
- Navico Hires Elgie to Lead Americas Sales July 19, 2018
- Wisconsin Shipyards Awarded Nearly $2 Mln in Grants July 19, 2018
Tag Archives: blockchain
Naturally CIOs are an entrenched bunch. But the lack of use cases that actually work is definitely a barrier to experimentation, along with the inflated cost and risk of finding software engineers with the expertise.
Here is the original article the Loadstar referred me to. It is a picture a bit too rosy, perhaps, but quite clear.
It doesn’t say that blockchain’s smart contracts will turn logistics people from a handful of paper shufflers to a handful of logicians whose job is to read and prove out the code of smart contracts. That code will be embedded and executed in a transaction, without oversight, so it had better be right. How do we prove that? The arguments will shift from arguing about how the actual contract matches with what happens, and goes wrong– to arguing about both that, and whether the smart contract program had a bug in it.
I think there’s a new frontier for provability software, that can read a program and match it with some specs to see if it matches. The computer mathematicians already have software that can inspect theorem proofs and say if they are valid or not. I think we need similar software.
Remember every program has bugs.