„Software composition“

Suchergebnisse

311 Treffer

• An Equational Axiomatization of Dynamic Negation and Relational Composition
  Hollenberg, Marco
• A behavioral analysis and verification approach to pattern-based design composition
  Dong, Jing ; Alencar, Paulo S.C ; Cowan, Donald D.
• Specification transformers: a predicate transformer approach to composition
  Charpentier, Michel ; Chandy, K. Mani
• Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods
  Cornelissen, Frank ; Jonker, Catholijn M. ; Treur, Jan
• Code conversion in compositional microprogram control units
  Barkalov, A. A. ; Titarenko, L. A.
• IC cloud: Enabling compositional cloud
  Guo, Yi-Ke ; Guo, Li
• Composition-nominative aspects of address programming
  Nikitchenko, M. S.
• Compositional programming: theory and practice
  Lavrischeva, K. M.
• A hierarchical framework for logical composition of web services
  Zhao, Haibo ; Doshi, Prashant
• Ontology-driven service composition for end-users
  Xiao, Hua ; Zou, Ying ; Tang, Ran ; Ng, Joanna ; Nigul, Leho
• Mandatory after-school use of step tracker apps improves physical activity, body composition and fitness of adolescents
  Mateo-Orcajada, Adrián ; Abenza-Cano, Lucía ; Albaladejo-Saura, Mario Demófilo ; Vaquero-Cristóbal, Raquel
• Compositional runtime enforcement revisited
  Pinisetty, Srinivas ; Pradhan, Ankit ; Roop, Partha ; Tripakis, Stavros
• Web Service Implementation and Composition Techniques
  Paik, Hye-Young ; Lagares Lemos, Angel ; Barukh, Moshe Chai ; Benatallah, Boualem ; Natarajan, Aarthi 2017 Springer International Publishing
• Why reinvent the wheel: Let's build question answering systems together
  Singh, K. ; Radhakrishna, A.S. ; Both, A. ; Shekarpour, S. ; Lytra, I. ; Usbeck, R. ; Vyas, A. ; Khikmatullaev, A. ; Punjani, D. ; Lange, C. 2018 New York City : Association for Computing Machinery
• Microservice compositions based on the choreography of BPMN fragments: facing evolution issues
  Ortiz, Jesus ; Torres, Victoria ; Valderas, Pedro
• Entity linking and API resource-based matchmaking for Web APIs composition
  Boustil, Amel ; Tabet, Youcef
• Composition-Nominative Methods and Models in Program Development
  Nikitchenko, Mykola
• Technical note: A software framework for calculating compositionally dependent in situ ¹⁴C production rates
  Koester, Alexandria J. ; Lifton, Nathaniel A.
• A service composition method using improved hybrid teaching learning optimization algorithm in cloud manufacturing
  Zeng, Jun ; Yao, Juan ; Gao, Min ; Wen, Junhao
• View materialization using fuzzy MAX–MIN composition with association rule mining (VMFCA)
  Ghosh, Partha ; Goto, Takaaki ; Mandal, J. K. ; Sen, Soumya