Managing the risk of covert information flows in virtual machine systems
- Trent Jaeger
- Reiner Sailer
- et al.
- 2007
- SACMAT 2007
Conference paper
Publications
9290 results for Computer Science
Applying supply chain optimization techniques to workforce planning problems
- Donna L. Gresh
- Daniel P. Connors
- et al.
- 2007
- IBM J. Res. Dev
PaperWorkforce optimiztion: Identification and assignment of professional workers using constraint programming
- Yehuda Naveh
- Yossi Richter
- et al.
- 2007
- IBM J. Res. Dev
PaperOntology-based test case generation for testing web services
- Yongbo Wang
- Xiaoying Bai
- et al.
- 2007
- ISADS 2007
Conference paperTowards distributed dynamic web service composition
- Snehit Prabhu
- 2007
- ISADS 2007
Conference paperA new SOA data-provenance framework
- Wei-Tek Tsai
- Xiao Wei
- et al.
- 2007
- ISADS 2007
Conference paperInsider attack and real-time data mining of user behavior
- Gary F. Anderson
- David A. Selby
- et al.
- 2007
- IBM J. Res. Dev
PaperOptimizing marketing planning and budgeting using Markov decision processes: An airline case study
- Abdel Labbi
- Cesar Berrospi
- 2007
- IBM J. Res. Dev
PaperA quantitative optimization model for dynamic risk-based compliance management
- Samuel Müller
- Chonawee Supatgiat
- 2007
- IBM J. Res. Dev
PaperMixed-integer nonlinear programming: Some modeling and solution issues
- Jon Lee
- 2007
- IBM J. Res. Dev
Paper