Static vs. Dynamic validation of BSP conformance
- Stefan Prennschütz-Schützenau
- Nirmal K. Mukhi
- et al.
- 2009
- ICWS 2009
Publications
Date
Featured collections
Popular topics
20 results for Fumiko Satoh
Generic security policy transformation framework for WS-security
- Fumiko Satoh
- Yumi Yamaguchi
- 2007
- ICWS 2007
Verifying the consistency of security policies by abstracting into security types
- Kouichi Ono
- Yuichi Nakamura
- et al.
- 2007
- ICWS 2007
Adding authentication to model driven security
- Fumiko Satoh
- Yuichi Nakamura
- et al.
- 2006
- ICWS 2006
Security policy composition for composite web services
- Fumiko Satoh
- Takehiro Tokuda
- 2011
- IEEE-TSC
Automated Validation of COBOL to Java Transformation
- Atul Kumar
- Diptikalyan Saha
- et al.
- 2024
- ASE 2024
Automating Domain Squatting Detection Using Representation Learning
- Pablo Loyola
- Kugamoorthy Gajananan
- et al.
- 2020
- Big Data 2020
Multi-factor-based Motion Detection for Server Rack Doors Left Open
- Ruriko Kudo
- Yasuharu Katsuno
- et al.
- 2020
- SCC 2020
Content aware source code change description generation
- Pablo Loyola
- Edison Marrese-Taylor
- et al.
- 2018
- INLG 2018
Bug localization by learning to rank and represent bug inducing changes
- Pablo Loyola
- Kugamoorthy Gajananan
- et al.
- 2018
- CIKM 2018