„Software composition“

Suchergebnisse

311 Treffer

• DORIC: discovering topological relations based on spatial link composition
  Jin, Xiongnan ; Eom, Sungkwang ; Shin, Sangjin ; Lee, Kyong-Ho ; Hong, Chaoqun
• Incremental Composition in Distributional Semantics
  Purver, Matthew ; Sadrzadeh, Mehrnoosh ; Kempson, Ruth ; Wijnholds, Gijs ; Hough, Julian
• Application of the Aspen Plus Software Package for Simulation of the Synthesis-Gas Composition in Oxygen-Free Steam Gasification of Biomass
  Shevyrev, S. A.
• Softwarebasierte Knochenpartikelanalyse in Geflügel-Verarbeitungsfleisch zur Herstellung von Fleischerzeugnissen der Kategorie Spitzenqualität
  Fechner, Tim Julian 2021 Mensch & Buch
• MontiCore language workbench and library handbook
  Rumpe, Bernhard ; Hölldobler, Katrin ; Kautz, Oliver 2021 Shaker Verlag
• Orchestration- and choreography-based composition of Internet of Transactional Things
  Maamar, Zakaria ; Asim, Muhammad ; Cheikhrouhou, Saoussen ; Qamar, Ayesha
• Monte Carlo Assisted FTIR Spectroscopy: A Python Tool for the Determination of the Constituents in Blended Biopolymer Samples
  Souza, Fernando Gomes ; Cunha, Cláudia Duarte ; Pereira, Emiliane Daher ; Dias, Diogo Simas Bernardes ; Pal, Kaushik ; Pereira, Michelle Colão ; Silva, Rebecca Alves
• Enterprise Information Systems – 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers
  Hammoudi, Slimane ; Maciaszek, Leszek ; Teniente, Ernest ; Camp, Olivier ; Cordeiro, José António Moinhos 2015 Springer International Publishing
• Service Research Challenges and Solutions for the Future Internet – S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems
  Papazoglou, Michael P. ; Pohl, Klaus ; Parkin, Michael ; Metzger, Andreas 2010 Springer Berlin Heidelberg
• A unifying framework for homogeneous model composition
  Kienzle, Jörg ; Mussbacher, Gunter ; Combemale, Benoit ; Deantoni, Julien
• Compositional Comparison of Formal Software Specifications Using Transformation Systems
  Große-Rhode, Martin
• Automatic symbolic compositional verification by learning assumptions
  Nam, Wonhong ; Madhusudan, P. ; Alur, Rajeev
• Automated assumption generation for compositional verification
  Gupta, Anubhav ; McMillan, K. L. ; Fu, Zhaohui
• Construction-Based Compositional Grammar
  Hellan, Lars
• Associative composition of components with double-sided interfaces
  Reisig, Wolfgang
• QoS-Aware Automatic Service Composition: A Graph View
  Jiang, Wei ; Wu, Tian ; Hu, Song-Lin ; Liu, Zhi-Yong
• Compositional verification of concurrent systems by combining bisimulations
  Lang, Frédéric ; Mateescu, Radu ; Mazzanti, Franco
• The control algorithm of whole angle mode for HRG based on the vector composition
  Zhao, Wanliang ; Cheng, Yuxiang ; Li, Shaoliang ; Song, Lijun
• On-demand composition of smart service systems in decentralized environments – the RoleDiSCo approach
  Wutzler, Markus 2018
• Spinel web: an interactive web application for visualizing the chemical composition of spinel group minerals
  Antonini, Antonella S. ; Ganuza, María Luján ; Ferracutti, Gabriela ; Gargiulo, M. Florencia ; Matković, Kresimir ; Gröller, Eduard ; Bjerg, Ernesto A. ; Castro, Silvia M.