Formal methods in LARGE-SCALE computing systems
- 期刊名称ITNOW
- 作者Malik, S. U. R.; Khan, S. U.
- 卷第55卷
- 期第2期
- 印刷ISSN1746-5702
- 电子ISSN1746-5710
- 文件大小193.25KB
- 发表时间2013-06-01
- DOI10.1093/itnow/bwt025
- 页码52-53
Securing Transportation Systems (Hakim/Securing Transportation Systems) || On the Rationality and Optimality of Transportation Networks DefenseHakim, Simon; Albert, Gila; Shiftan, Yoram · 2015
Securing communications overAtmnetworks: the remoteAtmprivate networks interconnection exampleMaryline Laurent; Olivier Paul; Pierre Rolin · 1998
Securing networks in the Internet of Things eraLiu, Cricket · Computer Fraud & Security · 2015
Securing the Backpressure Algorithm for Wireless NetworksLu, Zhuo; Sagduyu, Yalin E.; Li, Jason H. · IEEE Transactions on Mobile Computing · 2016
Securing Emergency Communications for the Next-Generation NetworksAsuquo, P.; Cruickshank, H.; Ogah, C.P.A. · ACM SIGMETRICS Performance Evaluation Review · 2019
Converged Multimedia Networks (Bates/Converged Multimedia Networks) || Securing the Network and the Role of Session Border GatewaysBates, Juliet; Gallon, Chris; Bocci, Matthew; Walker, Stuart; Taylor, Tom · 2006
Cognitive security: securing the burgeoning landscape of mobile networksZheng, Yao; Moini, Assad; Lou, Wenjing; Hou, Y. Thomas; Kawamoto, Yuichi · IEEE Network · 2016
Comments on MainstreamingB. Tolleris; S. Silver; D. Morris; R. Morris; N. Left; S. Laracuente; L. Spitzer; D. Leigh; I. Leigh; J. Madell · 1984
states inHoltkamp, D. B.; Seestrom-Morris, S. J.; Dehnhard, D.; Baer, H. W.; Morris, C. L.; Greene, S. J.; Harvey, C. J.; Kurath, D.; Carr, J. A. · Physical Review C · 1990
states inHoltkamp, D. B.; Seestrom-Morris, S. J.; Dehnhard, D.; Baer, H. W.; Morris, C. L.; Greene, S. J.; Harvey, C. J.; Kurath, D.; Carr, J. A. · Physical Review C · 1985
at 164 MeVHarvey, Carol J.; Baer, Helmut W.; Johnstone, J. A.; Morris, C. L.; Seestrom-Morris, S. J.; Dehnhard, D.; Holtkamp, D. B.; Greene, S. J. · Physical Review C · 1986
Pion elastic and inelastic scattering fromMorris, C. L.; Seestrom-Morris, S. J.; Seidl, P. A.; Kiziah, R. R.; Greene, S. J. · Physical Review C · 1983
from inelastic pion scatteringHayes, A. C.; Chakravarti, S.; Dehnhard, D.; Ellis, P. J.; Holtkamp, D. B.; Lung, L.-P.; Seestrom-Morris, S. J.; Baer, Helmut; Morris, C. L.; Greene, S. J.; Harvey, C. J. · Physical Review C · 1988
BeamChung, S. U.; Etkin, A.; Fernow, R. C.; Foley, K. J.; Goldman, J. H.; Kirk, H.; Love, W. A.; Morris, T. W.; Ozaki, S.; Platner, E. D.; Protopopescu, S. D.; Saulys, A.; Weygand, D. P.; Wheeler, C. D.; Willen, E. H.; Bensinger, J.; Morris, W.; Lindenbaum, S. J.; Kramer, M. A.; Mallik, U.; Bar-Yam, Z.; Dowd, J.; Kern, W.; Winik, M.; Button-Shafer, J.; Dhar, S.; Lichti, R. · Physical Review Letters · 1982
=180 MeVLaymon, C. M.; Amos, W.; Burlein, M. G.; Fortune, H. T.; Ekenberg, T.; Kotwal, A.; O’Donnell, J. M.; Silk, J. D.; Zumbro, J. D.; Morris, C. L.; Seestrom, S. J.; Dhuga, K. S.; Garnett, R.; Rawool-Sullivan, M. W.; Moore, C. F.; Morris, S. L.; Watson, D. L. · Physical Review C · 1996
Gaming OnlineTucker, H. · ITNOW · 2011
What Digital Leaders Say... 2014 and BeyondRunciman, B. · ITNOW · 2014
Gamers vs Non-GamersRunciman, B. · ITNOW · 2014
Silver-Surfing Local WebsitesRunciman, B. · ITNOW · 2013
Focusing on CybercrimeRunciman, B. · ITNOW · 2013
The IT LinguistRunciman, B. · ITNOW · 2014
Ethics in Emerging TechnologyDainow, B. · ITNOW · 2014
Here comes the sunTucker, H. · ITNOW · 2008