• 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

• 2005
• 
  Juan Carlos Augusto:
  Verification of Smart Homes Specifications which are based on ECA Rules. MSVVEIS 2005: 118-120
• 
  Joseph Barjis:
  An Example of Business Process Simulation Using ARENA. MSVVEIS 2005: 107-112
• 
  Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez:
  An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. MSVVEIS 2005: 39-48
• 
  Josko Dvornik, Srdan Dvornik, Eno Tireli:
  Computing Simulation and Heuristic Optimization of the Marine Diesel Drive Generating. MSVVEIS 2005: 102-106
• 
  Josko Dvornik, Ante Munitic, Frane Mitrovic:
  The Port-Transshipment System Dynamics Software Simulator. MSVVEIS 2005: 121-125
• 
  Andres Flores, Macario Polo:
  Towards Application Suitability for PvC Environments. MSVVEIS 2005: 58-62
• 
  Frédéric Gervais, Marc Frappier, Régine Laleau:
  How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS 2005: 83-88
• 
  Allen Goldberg, Klaus Havelund:
  Automated Runtime Verification with Eagle. MSVVEIS 2005
• 
  Dejan Gradisar, Gasper Music:
  Petri-net modeling of production systems based on production management data. MSVVEIS 2005: 29-38
• 
  Xudong He:
  A Framework for Ensuring System Dependability from Design to Implementation. MSVVEIS 2005
• 
  Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche:
  A Unit Testing Framework for Network Configurations. MSVVEIS 2005: 77-82
• 
  Kåre J. Kristoffersen, Yvonne Dittrich:
  Expanding Database Systems into self-verifying Entities. MSVVEIS 2005: 65-70
• 
  Joselito Medina Marín, Xiaoou Li:
  An Active Rule Base Simulator based on Petri Nets. MSVVEIS 2005: 96-101
• 
  Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche:
  Model-checking Inherently Fair Linear-time Properties. MSVVEIS 2005: 3-8
• 
  Nan Niu, Steve M. Easterbrook:
  On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study. MSVVEIS 2005: 115-117
• 
  Joshua J. Pauli, Dianxiang Xu:
  Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. MSVVEIS 2005: 89-95
• 
  Syed M. Rahman, Akram Salah:
  Teaching Software Testing in Introductory CS Courses and Improving Software Quality. MSVVEIS 2005: 126-128
• 
  Jaime Ramírez, Angélica de Antonio:
  Consistency Verification of a Non-monotonic Deductive System based on OWL Lite. MSVVEIS 2005: 19-28
• 
  Paulo Sérgio Sausen, Pedro Fernandes Ribeiro Neto, Angelo Perkusich, Antonio Marcus Nogueira de Lima, Maria Ligia B. Perkusich, Fabiano Salvadori:
  Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks. MSVVEIS 2005: 49-57
• 
  Macario Polo Usaola, Andres Flores:
  Towards Run-time Component Integration on Ubiquitous Systems. MSVVEIS 2005: 9-18
• 
  Wing Lok Yeung, Karl R. P. H. Leung:
  Deriving Test Cases from B Machines Using Class Vectors. MSVVEIS 2005: 71-76
• 
  Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis:
  Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with ICEIS 2005, Miami, FL, USA, May 2005. INSTICC Press 2005, ISBN 972-8865-22-8 [contents]