„Electronic data processing“

Suchergebnisse

5.920 Treffer

• Least-change bidirectional model transformation with QVT-R and ATL
  Macedo, Nuno ; Cunha, Alcino
• Empirically evaluating OCL and Java for specifying constraints on UML models
  Yue, Tao ; Ali, Shaukat
• Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments
  Bae, Jung Ho ; Chae, Heung Seok
• Query-driven soft traceability links for models
  Hegedüs, Ábel ; Horváth, Ákos ; Ráth, István ; Starr, Rodrigo Rizzi ; Varró, Dániel
• Enhanced graph rewriting systems for complex software domains – Dynamic software architecture, non-functional requirements, and correctness by construction
  Eichler, Cédric ; Monteil, Thierry ; Stolf, Patricia ; Grieco, Luigi Alfredo ; Drira, Khalil
• Comprehensive analysis of FBD test coverage criteria using mutants
  Shin, Donghwan ; Jee, Eunkyoung ; Bae, Doo-Hwan
• Models in simulation
  Gray, Jeff ; Rumpe, Bernhard
• Model-based simulation of legal policies: framework, tool support, and validation
  Soltana, Ghanem ; Sannier, Nicolas ; Sabetzadeh, Mehrdad ; Briand, Lionel C.
• Modeling context-aware and intention-aware in-car infotainment systems – Concepts and modeling processes
  Lüddecke, Daniel ; Seidl, Christoph ; Schneider, Jens ; Schaefer, Ina
• Toward a well-founded theory for multi-level conceptual modeling
  Carvalho, Victorio A. ; Almeida, João Paulo A.
• Reusing metamodels and notation with Diagram Definition
  Bock, Conrad ; Elaasar, Maged
• Adaptive Sliding Mode Decoupling Control with Data-Driven Sliding Surface for Unknown MIMO Nonlinear Discrete Systems
  Weng, Yongpeng ; Gao, Xianwen
• On submodels and submetamodels with their relation – A uniform formalization through inclusion properties
  Carré, Bernard ; Vanwormhoudt, Gilles ; Caron, Olivier
• Configuring use case models in product families
  Hajri, Ines ; Goknil, Arda ; Briand, Lionel C. ; Stephany, Thierry
• Data stream processing via code annotations
  Danelutto, Marco ; Matteis, Tiziano De ; Mencagli, Gabriele ; Torquati, Massimo
• Dataflow Programs Analysis and Optimization Using Model Predictive Control Techniques – Two Examples of Bounded Buffer Scheduling: Deadlock Avoidance and Deadlock Recovery Strategies
  Canale, M. ; Casale-Brunet, S. ; Bezati, E. ; Mattavelli, M. ; Janneck, J.
• Instrumentation-Driven Validation of Dataflow Applications
  Chukhman, Ilya ; Jiao, Yang ; Salem, Haifa Ben ; Bhattacharyya, Shuvra S.
• Multi-view and multi-plane data fusion for effective pedestrian detection in intelligent visual surveillance
  Ren, Jie ; Xu, Ming ; Smith, Jeremy S. ; Cheng, Shi
• Prinzipien der Replikationskontrolle in verteilten Systemen
  Beuter, Thomas ; Dadam, Peter 2010 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• OCEB certification guide – business process management, fundamental level
  Weilkiens, Tim ; Weiss, Christian ; Grass, Andrea 2011 Morgan Kaufmann Publ.