Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
Journal of Information Processing Systems(1)
Journal of Supercomputing(1)
Lecture Notes in Electrical Engineering(1)
Área temáticas
Programación informática, programas, datos, seguridad(3)
Ciencias de la computación(1)
Métodos informáticos especiales(1)
Origen
scopus(3)
A workflow scheduling technique for task distribution in spot instance-based cloud
Conference ObjectAbstract: The cloud computing is a computing paradigm that users can rent computing resources from service proPalabras claves:CLOUD COMPUTING, Fault tolerance, Price history, Spot instances, WORKFLOWAutores:Eunyoung Lee, Gil J., Jung D., Lim J., Yu H.C.Fuentes:scopusSecure component composition with modular behavioral properties
ArticleAbstract: We propose a flexible way of allowing the users of software components to specify their security polPalabras claves:Component composition, Digital signing, Logical framework, Software security theoryAutores:Eunyoung Lee, Kim H.S.Fuentes:scopusVerifying code toward trustworthy software
ArticleAbstract: In the conventional computing environment, users use only a small number of software systems intensiPalabras claves:Certified compiler, Formal verification, Language semantics, Program verificationAutores:Eunyoung Lee, Kim H.S.Fuentes:scopus