„Electronic data processing“

Suchergebnisse

5.920 Treffer

• Specification and analysis of legal contracts with Symboleo
  Parvizimosaed, Alireza ; Sharifi, Sepehr ; Amyot, Daniel ; Logrippo, Luigi ; Roveri, Marco ; Rasti, Aidin ; Roudak, Ali ; Mylopoulos, John
• Modeling ecosystems of reference frameworks for assurance: a case on privacy impact assessment regulation and guidelines
  Ruiz, Alejandra ; Martin, Yod-Samuel ; Martinez, Jabier ; Quintans, Jacobo ; Mockly, Guillaume ; Gyrard, Amelie ; Crepax, Tommaso
• Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application
  Rivadeh, Mehran ; Mirian-Hosseinabadi, Seyed-Hassan
• Real-time collaborative multi-level modeling by conflict-free replicated data types
  David, Istvan ; Syriani, Eugene
• On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory
  Proper, Erik ; Wagter, Roel ; Bekel, Joost
• A systematic literature review on IoT-aware business process modeling views, requirements and notations
  Compagnucci, Ivan ; Corradini, Flavio ; Fornari, Fabrizio ; Polini, Andrea ; Re, Barbara ; Tiezzi, Francesco
• CalcGraph: taming the high costs of deep learning using models
  Lorentz, Joe ; Hartmann, Thomas ; Moawad, Assaad ; Fouquet, Francois ; Aouada, Djamila ; Le Traon, Yves
• Guest editorial for EMMSAD’2021 special section
  Reinhartz-Berger, Iris ; Zdravkovic, Jelena ; Gill, Asif
• Conflict management techniques for model merging: a systematic mapping review
  Sharbaf, Mohammadreza ; Zamani, Bahman ; Sunyé, Gerson
• OpenVVC Decoder Parameterized and Interfaced Synchronous Dataflow (PiSDF) Model: Tile Based Parallelism
  Haggui, Naouel ; Hamidouche, Wassim ; Belghith, Fatma ; Masmoudi, Nouri ; Nezan, Jean-François
• Usage of biorthogonal wavelet filtering algorithm in data processing of biomedical images
  Chang, Xiaoyi ; Li, Yuebin ; Bai, Ting ; Qu, Tianrong ; Gao, Jungang ; Zhao, Chao
• Modeling difficulties in creating conceptual data models – Multimodal studies on individual modeling processes
  Rosenthal, Kristina ; Strecker, Stefan ; Snoeck, Monique
• The complexities of the satisfiability checking problems of feature diagram sublanguages
  Kautz, Oliver
• Editorial to theme section on modeling in low-code development platforms
  Di Ruscio, Davide ; Guerra, Esther ; Tisi, Massimo
• Modeling of, for, and with digital twins
  Gray, Jeff ; Rumpe, Bernhard
• Visual notations in container orchestrations: an empirical study with Docker Compose
  Piedade, Bruno ; Dias, João Pedro ; Correia, Filipe F.
• An executable metamodel refactoring catalog
  Bettini, Lorenzo ; Di Ruscio, Davide ; Iovino, Ludovico ; Pierantonio, Alfonso
• Composable partial multiparty session types for open systems
  Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro
• Advanced testing and debugging support for reactive executable DSLs
  Khorram, Faezeh ; Bousse, Erwan ; Mottu, Jean-Marie ; Sunyé, Gerson
• MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCI
  Zalila, Faiez ; Korte, Fabian ; Erbel, Johannes ; Challita, Stéphanie ; Grabowski, Jens ; Merle, Philippe