[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - A Rigorous Approach to Uncovering Security Policy Violations in UML Designs
- 作者Yu, Lijun; France, Robert; Ray, Indrakshi; Ghosh, Sudipto
- 文件大小393.53KB
- 发表时间2009
- DOI10.1109/iceccs.2009.16
- 页码126-135
Balance of Payments, Exchange Rates, and Competitiveness in Transition Economies || Balance of Payments, Exchange Rates, and Competitiveness: Lessons for Transition Economies from the Israeli ExperienceBlejer, Mario I.; Škreb, Marko · 1999
Transition rates in 161DyV. Berg; S.G. Malmskog · 1969
Absolute transition rates in 188IrSven G. Malmskog; Valter Berg · 1969
Transition rates in 192AuÅ. Höglund; S.G. Malmskog; A. Bäcklin; B. Fogelberg; B. Jonson · 1971
Electromagnetic transition rates in 60NiCyrus Moazed; T. Becker; P.A. Assimakopoulos; D.M. Van Patter · 1971
Transition rates in 89ZrR.D. Gill; J.M.G. Caraça; A.J. Cox; H.J. Rose · 1972
Transition rates in97TcC. Bergman; B. Svahn; L.-G. Svensson; A. Bäcklin; J. Lindskog · 1974
Electromagnetic transition rates in 215PoJ.D. Bowman; L. Ley; B. Richter · 1974
All Entangled Quantum States Are NonlocalBuscemi, Francesco · Physical Review Letters · 2012
Spatial Pinning ControlFrasca, Mattia; Buscarino, Arturo; Rizzo, Alessandro; Fortuna, Luigi · Physical Review Letters · 2012
Entangled Granular MediaGravish, Nick; Franklin, Scott V.; Hu, David L.; Goldman, Daniel I. · Physical Review Letters · 2012
Quantum Degenerate Dipolar Fermi GasLu, Mingwu; Burdick, Nathaniel Q.; Lev, Benjamin L. · Physical Review Letters · 2012
Quantum Electron StarAllais, Andrea; McGreevy, John; Suh, S. Josephine · Physical Review Letters · 2012
Fluctuation Relation for HeatNoh, Jae Dong; Park, Jong-Min · Physical Review Letters · 2012
Pedestal Structure ModelCallen, J. D.; Canik, J. M.; Smith, S. P. · Physical Review Letters · 2012
Shaken Granular LasersFolli, Viola; Puglisi, Andrea; Leuzzi, Luca; Conti, Claudio · Physical Review Letters · 2012