• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

• 2007
• 
  Nasreddine Aoumeur, Gunter Saake:
  UML-driven Information Systems and their Formal Integration Validation and Distribution. MSVVEIS 2007: 63-73
• 
  Joseph Barjis:
  An Innovative Method for Business Process Modeling. MSVVEIS 2007: 31-42
• 
  Joseph Barjis, Matt Hall:
  A Healthcare Center Simulation using Arena. MSVVEIS 2007: 175-180
• 
  Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon:
  A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. MSVVEIS 2007: 163-168
• 
  Pedro Branco:
  Network Enterprise Systems Safety and the Market Pressure - The Paradigm. MSVVEIS 2007: 7-8
• 
  Luis Fernando Medina Cardona:
  Using Ethnographic Techniques to Describe Requirements Engineering Processes in Geographic Information Systems Workgroups. MSVVEIS 2007: 169-174
• 
  Andrew Dingwall-Smith, Anthony Finkelstein:
  Checking Complex Compositions of Web Services Against Policy Constraints. MSVVEIS 2007: 94-103
• 
  María-del-Mar Gallardo, Pedro Merino, David Sanán:
  Extending CADP for Analyzing C Code. MSVVEIS 2007: 104-113
• 
  Nirmal Gami, Boleslaw Mikolajczak:
  Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features. MSVVEIS 2007: 53-62
• 
  Volker Gruhn, Ralf Laue:
  Checking Properties of Business Process Models with Logic Programming. MSVVEIS 2007: 84-93
• 
  Bernhard Kausch, Morten Grandt, Christopher M. Schlick:
  Support of Project Planning in Chemical Engineering via Modeling and Simulation. MSVVEIS 2007: 157-162
• 
  Bing Li, Junichi Iijima:
  Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification. MSVVEIS 2007: 151-156
• 
  Murali Mohan Narasipuram:
  Process-centric Modelling for Enterprise Information Systems. MSVVEIS 2007: 5
• 
  Wade M. Poole, Srinivasan Ramaswamy:
  Business Process Modeling Using an Interactive Framework for Immersive Research, Support and Training (I-FIRST). MSVVEIS 2007: 21-30
• 
  Viara Popova, Alexei Sharpanskykh:
  Process-oriented Organization Modeling and Analysis. MSVVEIS 2007: 114-125
• 
  Oana Otilia Prisecaru:
  Resource Workflow Nets: a Petri Net Formalism for Workflow Modelling. MSVVEIS 2007: 11-20
• 
  Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers:
  Transformation of BPMN Models for Behaviour Analysis. MSVVEIS 2007: 126-137
• 
  Srini Ramaswamy:
  The Pervasive Role of Modeling and Simulation in a Globalized Business Economy. MSVVEIS 2007: 3-4
• 
  Irina Rychkova, Alain Wegmann:
  Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications. MSVVEIS 2007: 138-147
• 
  Paul S. Steyn, John A. van der Poll:
  Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. MSVVEIS 2007: 43-52
• 
  Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
  An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. MSVVEIS 2007: 74-83
• 
  Juan Carlos Augusto, Joseph Barjis, Ulrich Ultes-Nitsche:
  Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007. INSTICC PRESS 2007, ISBN 978-972-8865-95-5 [contents]