Verification techniques for policy based systems
- Erisa Karafili
- Stephen Pipes
- et al.
- 2017
- SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
16 results at SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Decentralized microservice workflows for coalition environments
- Chris Simpkin
- Ian Taylor
- et al.
- 2017
- SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Argumentation-based policy analysis for drone systems
- Erisa Karafili
- Emil C. Lupu
- et al.
- 2017
- SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Physics-inspired models for agile code and data in federated edges
- Bongjun Ko
- Brent Kraczek
- et al.
- 2017
- SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Next generation firewalls for dynamic coalitions
- Saritha Arunkumar
- Stephen Pipes
- et al.
- 2017
- SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017
Towards an architecture for policy-based management of software defined coalitions
- C. Williams
- E. Bertino
- et al.
- 2017
- SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017