„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Checking security compliance between models and code
  Tuma, Katja ; Peldszus, Sven Matthias ; Strüber, Daniel ; Scandariato, Riccardo ; Jürjens, Jan
• Die neuen ethischen Leitlinien der GI
  Federrath, Hannes ; Class, Christina ; Trinitis, Carsten
• 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
  Fatourou, Panagiota ; Jiménez, Ernesto ; Pedone, Fernando 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Informatikforschung für digitale Mobilitätsplattformen – Am Beispiel des TUM Living Lab Connected Mobility
  Amini, Sasan ; Beckers, Kristian ; Böhm, Markus ; Busch, Fritz ; Celikkaya, Nihan ; Cozzolino, Vittorio ; Faber, Anne ; Haus, Michael ; Huth, Dominik ; Kemper, Alfons ; Kipf, Andreas ; Krcmar, Helmut ; Matthes, Florian ; Ott, Jörg ; Prehofer, Christian ; Pretschner, Alexander ; Uludağ, Ömer ; Wörndl, Wolfgang
• Global vs. local models for cross-project defect prediction – A replication study
  Herbold, Steffen ; Trautsch, Alexander ; Grabowski, Jens
• Efficient model-checking of weighted CTL with upper-bound constraints
  Jensen, Jonas Finnemann ; Larsen, Kim Guldstrand ; Srba, Jiří ; Oestergaard, Lars Kaerlund
• Soundness of data-aware, case-centric processes
  Montali, Marco ; Calvanese, Diego
• Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games
  Göttmann, Hendrik ; Caesar, Birte ; Beers, Lasse ; Lochau, Malte ; Schürr, Andy ; Fay, Alexander
• Concurrent Programming, Open Systems and Formal Methods – Essays Dedicated to Gul Agha to Celebrate His Scientific Career
  Meseguer, José ; Varela, Carlos A. ; Venkatasubramanian, Nalini 2026 Springer Nature Switzerland, Imprint: Springer
• Clustering Analyses of Two-Dimensional Space-Filling Curves: Hilbert and z-Order Curves
  Dai, H. K. ; Su, H. C.
• Exploring the journey of BIM in the Indian AECO industry (2008–2022) an excelize perspective
  Dhopte, Sonali ; Daga, Arti
• Technology enabled data driven decision support tools for capital projects
  Vaidyanathan, Kalyan
• Reinforcing digital eco-system for Industry 2.0: implementer’s perspectives
  Gandhi, Sagar S. ; Swami, Manish V. ; Yadav, Amit K.
• Streamlining production management in construction projects with ICT
  Lota, Paramjit Singh ; Vijayashree, T. M. ; Dave, Bhargav
• Identifying the right level of automation through model composition and stochastic search
  Krishnamoorthi, Sundararaman ; Raphael, Benny
• Harnessing social media data for analyzing public inconvenience in construction of Indian metro rail projects
  Das, Srinjoy ; Devkar, Ganesh
• Interface between ICT and the construction industry (AECO sector)
  Datta Gupta, Swaraj
• Application of NLP-based topic modeling to analyse unstructured text data in annual reports of construction contracting companies
  Jagannathan, Murali ; Roy, Debopam ; Delhi, Venkata Santosh Kumar
• Decision support framework for data residency compliance in cloud
  Gharote, Mangesh ; Mondal, Sutapa ; Roy, Shubhro ; Sahu, Pankaj ; Ramamurthy, Arun
• Differential privacy: a privacy cloak for preserving utility in heterogeneous datasets
  Gupta, Saurabh ; Buduru, Arun Balaji ; Kumaraguru, Ponnurangam