Mostrando 2 resultados de: 2
Área temáticas
Métodos informáticos especiales(2)
Ciencias de la computación(1)
Funcionamiento de bibliotecas y archivos(1)
Programación informática, programas, datos, seguridad(1)
Origen
scopus(2)
MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems
ArticleAbstract: Currently, using conventional techniques for checking and optimising the energy consumption in cloudPalabras claves:Cloud modelling, Energy-aware systems, Evolutionary algorithms, Metamorphic testing, SimulationAutores:Canizares P.C., Juan De Lara, Llana L., Núñez A.Fuentes:scopusTransforming information in RDF to rewriting logic
Conference ObjectAbstract: RDF looks like the first step to build the Semantic Web vision. Our long-term goal is to have a sounPalabras claves:Formal Methods, Maude, Rdf, Rewriting Logic, semantic webAutores:Bradley M., Joaquín Salvachúa, Llana L., Martí-Oliet N., Robles T., Verdejo A.Fuentes:scopus