„processing software“

Suchergebnisse

10.000+ Treffer

• Introducing probabilistic reasoning within Event-B
  Aouadhi, Mohamed Amine ; Delahaye, Benoît ; Lanoix, Arnaud
• Theme section on performance modelling and engineering of software and systems
  Lladó, Catalina M. ; Sachs, Kai
• The importance of flow in software development
  Gray, Jeff ; Rumpe, Bernhard
• A model framework-based domain-specific composable modeling method for combat system effectiveness simulation
  Li, Xiao-bo ; Yang, Feng ; Lei, Yong-lin ; Wang, Wei-Ping ; Zhu, Yi-fan
• Model checking multi-level and recursive nets
  Fernández Venero, Mirtha Lina ; Corrêa da Silva, Flávio Soares
• Process mining using BPMN: relating event logs and process models
  Kalenkova, Anna A. ; Aalst, Wil ˜van derœ ; Lomazova, Irina A. ; Rubin, Vladimir A.
• Generating process model collections
  Yan, Zhiqiang ; Dijkman, Remco ; Grefen, Paul
• An approach based on the domain perspective to develop WSAN applications
  Rodrigues, Taniro ; Delicato, Flávia C. ; Batista, Thais ; Pires, Paulo F. ; Pirmez, Luci
• Virtual reality software package for implementing motor learning and rehabilitation experiments
  Crocetta, Tânia Brusque ; Araújo, Luciano Vieira de ; Guarnieri, Regiani ; Massetti, Thais ; Ferreira, Fernando Henrique Inocêncio Borba ; Abreu, Luiz Carlos de ; Mello Monteiro, Carlos Bandeira de
• Cost-optimized redundant data storage in the cloud
  Waibel, Philipp ; Matt, Johannes ; Hochreiner, Christoph ; Skarlat, Olena ; Hans, Ronny ; Schulte, Stefan
• Are urban public libraries websites accessible to Americans with Disabilities?
  Liu, Yan Quan ; Bielefield, Arlene ; McKay, Peter
• Special section on “emerging trends and challenges in digital learning”
  Sousa, Maria José ; Rocha, Álvaro
• Rezension „ERP-Kompendium“
  Hildebrand, Knut
• From use case maps to executable test procedures: a scenario-based approach
  Kesserwan, Nader ; Dssouli, Rachida ; Bentahar, Jamal ; Stepien, Bernard ; Labrèche, Pierre
• Modified cuckoo search algorithm and the prediction of flashover voltage of insulators
  Cheng, Jiatang ; Wang, Lei ; Xiong, Yan
• Theoretical foundations and implementation of business process diagrams’ complexity management technique based on highlights
  Jost, Gregor ; Heričko, Marjan ; Polančič, Gregor
• Optimizing energy and throughput for MPSoCs: an integer particle swarm optimization approach
  Murtza, Shahid Ali ; Ahmad, Ayaz ; Qadri, Muhammad Yasir ; Qadri, Nadia N. ; Ahmed, Jameel
• The BIM-enabled geotechnical information management of a construction project
  Zhang, Junqiang ; Wu, Chonglong ; Wang, Yuzhu ; Ma, Yan ; Wu, Yong ; Mao, Xiaoping
• ACM International Conference on Multimedia Retrieval (ICMR): current standing and impact
  Lew, Michael S.
• Exploiting Internet of Things information to enhance venues’ recommendation accuracy
  Margaris, Dionisis ; Vassilakis, Costas