Mostrando 7 resultados de: 7
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics(4)
Computer(1)
Proceedings of the 11th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications OOPSLA 1996(1)
Proceedings of the 11th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 1996(1)
Área temáticas
Ciencias de la computación(6)
Métodos informáticos especiales(4)
Programación informática, programas, datos, seguridad(3)
Funcionamiento de bibliotecas y archivos(2)
Derecho privado(1)
Área de conocimiento
Software(4)
Ingeniería de software(3)
Ciencias de la computación(2)
Internet de las cosas(1)
Optimización matemática(1)
Objetivos de Desarrollo Sostenible
ODS 17: Alianzas para lograr los objetivos(6)
ODS 9: Industria, innovación e infraestructura(6)
ODS 8: Trabajo decente y crecimiento económico(3)
ODS 16: Paz, justicia e instituciones sólidas(2)
ODS 11: Ciudades y comunidades sostenibles(1)
Origen
scopus(7)
Software Abstractions for Component Interaction in the Internet of Things
ArticleAbstract: Component ensembles provide expressive abstractions that address challenges in engineering softwarePalabras claves:cyber-physical systems, DEECo, Distributed Emergent Ensembles of Components, Embedded Systems, ensemble-based component systems, Internet of Things, IOT, MANETs, Mobile Ad Hoc Networks, multidevice interaction, Network design, Real-time systems, Software architectures, transportation, Ubiquitous ComputingAutores:Bures T., Hoch N., Kit M., Petr Tůma, Plášil F.Fuentes:scopusCORBA and object services
Conference ObjectAbstract: The paper provides an overview of the basic concepts of OMG CORBA. It summarizes the main ideas behiPalabras claves:Autores:Petr Tůma, Plášil F.Fuentes:scopusCoCoME in SOFA
Conference ObjectAbstract: This chapter presents our solution to the CoCoME assignment that is based on the SOFA 2.0 (SOFtwarePalabras claves:Autores:Bures T., Děcký M., Hnetynka P., Kofroň J., Parízek P., Petr Tůma, Plášil F., Poch T., Šerý O.Fuentes:scopusCoCoME in fractal
Conference ObjectAbstract: This chapter presents our solution to the CoCoME assignment that is based on the Fractal component mPalabras claves:Autores:Bulej L., Bures T., Coupaye T., Děcký M., Ježek P., Parízek P., Petr Tůma, Plášil F., Poch T., Rivierre N., Šerý O.Fuentes:scopusLessons learned from implementing the CORBA persistent object service
Conference ObjectAbstract: In this paper, the authors share their experiences gathered during the design and implementation ofPalabras claves:Autores:Kleindienst J., Petr Tůma, Plášil F.Fuentes:scopusFormalization of invariant patterns for the invariant refinement method
ArticleAbstract: Refining high-level system invariants into lower-level software obligations has been successfully emPalabras claves:Architecture refinement, Assume-guarantee, requirementsAutores:Bures T., Gerostathopoulos I., Keznikl J., Petr Tůma, Plášil F.Fuentes:scopusLessons learned from implementing the CORBA persistent object service
ArticleAbstract: In this paper, the authors share their experiences gathered during the design and implementation ofPalabras claves:Autores:Kleindienst J., Petr Tůma, Plášil F.Fuentes:scopus