„Software composition“

Suchergebnisse

311 Treffer

• Formal modelling and verification of scalable service composition in IoT environment
  Toman, Sarah Hussein ; Hamel, Lazhar ; Toman, Zinah Hussein ; Graiet, Mohamed ; Ouchani, Samir
• GlycoMod – A software tool for determining glycosylation compositions from mass spectrometric data
  Cooper, Catherine A. ; Gasteiger, Elisabeth ; Packer, Nicolle H.
• Applicative Compositions of Partial Predicates
  Nikitchenko, N. S.
• Composition of Services with Mobile Code
  Queloz, Pierre-Antoine ; Villazón, Alex
• Frege, Contextuality and Compositionality
  Janssen, Theo M.V
• Compositionality and Model-Theoretic Interpretation
  Hendriks, Herman
• Ambiguous Discourse in a Compositional Context. An Operational Perspective
  Fernando, Tim
• Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
  Lind-Nielsen, Jørn ; Andersen, Henrik Reif ; Hulgaard, Henrik ; Behrmann, Gerd ; Kristoffersen, Kåre ; Larsen, Kim G.
• Adobe After Effects CC – Das umfassende Handbuch
  Fontaine, Philippe 2019 Rheinwerk Verlag
• Compositional verification of priority systems using sharp bisimulation
  Di Stefano, Luca ; Lang, Frédéric
• Dynamic User Interface Composition
  Kumar, Rahul ; Natarajan, Shankar ; Shariff, Mohamed Akram Ulla ; Mani, Parameswaranath Vaduckupurath
• Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML
  Tan, Yong Kiam ; Heule, Marijn J. H. ; Myreen, Magnus O.
• Service composition considering energy consumption of users and transferring files in a multicloud environment
  Li, Jianmin ; Zhu, Shunzhi
• “Glyco‐peakfinder” – de novo composition analysis of glycoconjugates
  Maass, Kai ; Ranzinger, René ; Geyer, Hildegard ; von der Lieth, Claus‐Wilhelm ; Geyer, Rudolf
• Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
  Engelfriet, Joeri ; Jonker, Catholijn M. ; Treur, Jan
• Verification of Hierarchical State/Event Systems using Reusability and Compositionality
  Behrmann, G. ; Larsen, K.G ; Andersen, H.R ; Hulgaard, H. ; Lind-Nielsen, J.
• Formula-Dependent Equivalence for Compositional CTL Model Checking
  Aziz, Adnan ; Shiple, Thomas ; Singhal, Vigyan ; Brayton, Robert ; Sangiovanni-Vincentelli, Alberto
• Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
  Anisimov, N. A. ; Golenkov, E. A. ; Kharitonov, D. I.
• A Compositional Framework for Hardware/Software Co-Design
  Cau, A. ; Hale, R. ; Dimitrov, J. ; Zedan, H. ; Moszkowski, B. ; Manjunathaiah, M. ; Spivey, M.
• Compositional Translation, M.T. Rosetta, ed
  Van Eynde, Paul