• 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 27 matches

• 2006
• 
  Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
  Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. MSVVEIS 2006: 16-25
• 
  Ahmed Al-Ghamdi, José Luiz Fiadeiro:
  Architectural Handling of Management Concerns in Service-Driven Business Processes. MSVVEIS 2006: 111-120
• 
  Joseph Barjis, Bryan D. MacDonald:
  Animated Simulation for Business Process Improvement. MSVVEIS 2006: 121-127
• 
  Joseph Barjis, Han Reichgelt:
  A Petri Net Based Methodology for Business Process Modeling and Simulation. MSVVEIS 2006: 3-15
• 
  Vincent Chapurlat, Saber Aloui:
  How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence. MSVVEIS 2006: 134-146
• 
  José Diego De la Cruz, Lam-Son Lê, Alain Wegmann:
  Validation of Visual Contracts for Services. MSVVEIS 2006: 147-165
• 
  Salvis Dagis, Sergejs Arhipovs:
  The Static Model of Latvian Forest Management Planning and Capital Value Estimation. MSVVEIS 2006: 185-188
• 
  Razika Driouche, Zizette Boufaïda, Fabrice Kordon:
  An Ontology Based Architecture for Integrating Enterprise Applications. MSVVEIS 2006: 26-37
• 
  Josko Dvornik, Eno Tireli:
  Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship's Synchronous Generator. MSVVEIS 2006: 157-162
• 
  Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel:
  CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. MSVVEIS 2006: 128-133
• 
  Benoît Fraikin, Marc Frappier:
  Efficient Interpretation of Large Quantifications in a Process Algebra. MSVVEIS 2006: 189-192
• 
  María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel:
  PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS 2006: 57-66
• 
  María-del-Mar Gallardo, Pedro Merino, David Sanán:
  Towards Model Checking C Code with OPEN/CÆSAR. MSVVEIS 2006: 198-201
• 
  Aurona Gerber, Andries Barnard, Alta van der Merwe:
  Design and Evaluation Criteria for Layered Architectures. MSVVEIS 2006: 163-172
• 
  Volker Gruhn, Ralf Laue:
  How Style Checking Can Improve Business Process Models. MSVVEIS 2006: 47-56
• 
  Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
  Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85
• 
  Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche:
  Testing of Semantic Properties in XML Documents. MSVVEIS 2006: 38-46
• 
  Kais Klai, Samir Tata, Issam Chebbi:
  An Observation-based Algorithm for Workflow Matching. MSVVEIS 2006: 193-197
• 
  Lotfi Majdoub, Riadh Robbana:
  Test Purpose of Duration Systems. MSVVEIS 2006: 67-75
• 
  Ioanna E. Manataki, Kostas Zografos:
  A System Dynamics Approach for Airport Terminal Performance Evaluation. MSVVEIS 2006: 206-209
• 
  Alta van der Merwe, Paula Kotzé, Johannes C. Cronjé:
  The Usefulness of a Generic Process Model Structure. MSVVEIS 2006: 86-96
• 
  Daniel Moldt:
  PAOSE: A Way to Develop Distributed Software Systems Based on Petri Nets and Agents. MSVVEIS 2006
• 
  Frank Nießner:
  Specification of Deterministic Regular Liveness Properties. MSVVEIS 2006: 173-178
• 
  Inita Sile, Sergejs Arhipovs:
  The Development of the Precedent Model for the Latvia Forest Management Planning Processes. MSVVEIS 2006: 181-184
• 
  Pavel Vasilyev:
  Simulator for Real-Time Abstract State Machines. MSVVEIS 2006: 202-205
• 
  Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
  Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. MSVVEIS 2006: 97-107
• 
  Joseph Barjis, Ulrich Ultes-Nitsche, Juan Carlos Augusto:
  Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006. INSTICC Press 2006, ISBN 978-972-8865-49-8 [contents]