„Software composition“

Suchergebnisse

311 Treffer

• Enterprise Information Systems – 18th International Conference, ICEIS 2016, Rome, Italy, April 25–28, 2016, Revised Selected Papers
  Hammoudi, Slimane ; Maciaszek, Leszek A. ; Missikoff, Michele M. ; Camp, Olivier ; Cordeiro, José António Moinhos 2017 Springer International Publishing
• Leveraging Horn clause solving for compositional verification of PLC software
  Bohlender, Dimitri ; Kowalewski, Stefan
• Synthesis of circular compositional program proofs via abduction
  Dillig, Isil ; Dillig, Thomas ; Li, Boyang ; McMillan, Kenneth L. ; Sagiv, Mooly
• A context-aware framework for dynamic composition of process fragments in the internet of services
  Bucchiarone, Antonio ; Marconi, Annapaola ; Pistore, Marco ; Raik, Heorhi
• On personalized cloud service provisioning for mobile users using adaptive and context-aware service composition
  Badidi, Elarbi ; Atif, Yacine ; Sheng, Quan Z. ; Maheswaran, Muthucumaru
• A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking
  Talpin, Jean-Pierre ; Guernic, Paul Le ; Shukla, Sandeep Kumar ; Gupta, Rajesh
• Modelling of Thermodynamic Pressure – Composition – Temperature Relationships in the Systems of Metallic Hydride Forming Materials with Gaseous Hydrogen Using C++ Software
  Moropeng, Mapula Lucey ; Kolesnikov, Andrei ; Lototskyy, Mykhaylo ; Mavhungu, Avhafunani
• Model modularity for reuse, libraries and composition: symbol management is key
  Combemale, Benoit ; Gray, Jeff ; Rumpe, Bernhard
• Specification and compositional verification of real time systems
  Hooman, Jozef J. M. 1991 Springer
• Semantically realizing discovery and composition for RESTful web services
  Gu, Haijun ; Ma, Yingyu ; Wang, Siqi ; Chen, Xincheng ; Su, Weihua
• A two-phase method to optimize service composition in cloud manufacturing
  Hu, Qiang ; Qi, Haoquan ; Jia, Yanzhe ; Qu, Lianen
• Systematic composition of language components in MontiCore
  Butting, Arvid 2023 Shaker Verlag
• Hyperscore: A Case Study in Computer Mediated Music Composition
  Jennings, Kevin
• Using Semantics for Policy-Based Web Service Composition
  Chun, Soon Ae ; Atluri, Vijayalakshmi ; Adam, Nabil R.
• Patterns of multi-container composition for service orchestration with Docker Compose
  Eng, Kalvin ; Hindle, Abram ; Stroulia, Eleni
• Going beyond templates: composition and evolution in nested OSTRICH
  Costa Seco, João ; Lourenço, Hugo ; Parreira, Joana ; Ferreira, Carla
• Uncertainty QoS-aware services composition: a systematic literature review for services community
  Hammoum, Melissa ; Khanouche, Mohamed Essaid ; Khoulalene, Nadjet ; Benatallah, Boualem
• Ontology-driven Web services composition platform
  Arpinar, I. Budak ; Zhang, Ruoyan ; Aleman-Meza, Boanerges ; Maduko, Angela
• A quality-of-service aware composition-method for cloud service using discretized ant lion optimization algorithm
  Arasteh, Bahman ; Aghaei, Babak ; Bouyer, Asgarali ; Arasteh, Keyvan
• Correctness of model-based software composition – proceedings
  Van der Straeten, Ragnhild 2003 Univ., Fak. für Informatik, Bibliothek