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

• 2011
• 
  Juan Carlos Augusto, George Wilkie, Hui Wang, Jun Liu, Chunping Li:
  Using Models to Assess Impact of Defective Software. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 71-77
• 
  Eva Gattnar, Okan Ekinci, Vesselin Detschew:
  Event-based Workflow Analysis in Healthcare. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 61-70
• 
  Aleksander González, Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez:
  Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 51-60
• 
  David Hästbacka, Seppo Kuikka:
  Bridging UML Profile based Models and OWL Ontologies in Model-driven Development - Industrial Control Application. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 13-23
• 
  Eunjung Lee, Hyung-Ju Joo, Kyong-Jin Seo:
  Data Mapping Model for User Programmable Web-based Mashup. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 41-48
• 
  Hui Liu, Jean Pierre Bourey:
  Ontology-based Semantic Annotations for Business Processes in BPMN2.0. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 24-33
• 
  David Phiri:
  Information Technology Investment and Firm Performance in Developing Economies: A Study of Perceived Impacts of IT on Firms in Namibia. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 3-9
• 
  Venky Shankararaman, Lum Eng Kit:
  Enhancing SOA Integration through Enterprise Services. IVM/FTMDD/RTSOABIS/MSVVEIS 2011: 37-40
• 
  Markus Helfert, Mouzhi Ge, Luís Ferreira Pires, Slimane Hammoudi, Farouk Toumani, Valérie Monfort, Wassim Jaziri, Manuel I. Capel Tuñón, Chunping Li:
  IVM, FTMDD, RTSOABIS & MSVVEIS 2011 - Proceedings of the International Joint Workshop on Information Value Management, Future Trends of Model-Driven Development, Recent Trends in SOA Based Information Systems and Modelling and Simulation, Verification and Validation of Enterprise Information Systems, In conjunction with ICEIS 2011, Beijing, China, June, 2011. SciTePress 2011, ISBN 978-989-8425-60-7 [contents]
• 2010
• 
  Pedro Pablo Alarcón, Jennifer Pérez, Agustín Yagüe, David Musat:
  Definition of Domain Specific Operation Languages Following MDD. MSVVEIS 2010: 5-15
• 
  Moritz Balz, Michael Goedicke:
  Towards Domain-specific Modeling for Java Enterprise Applications. MSVVEIS 2010: 30-39
• 
  Marianne Huchard:
  On Some Complementary Trends in Model Transformation Generation. MSVVEIS 2010: 3
• 
  Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez:
  Compositional Verification of Business Processes by Model-Checking. MSVVEIS 2010: 60-69
• 
  Ammar Mohammed, Ulrich Furbach:
  Extending CTL to Specify Quantitative Temporal Requirements. MSVVEIS 2010: 70-79
• 
  Oana Otilia Prisecaru:
  The Analysis of Resource Constrained Workflows using Petri Nets. MSVVEIS 2010: 50-59
• 
  Mihnea Scafes, Costin Badica:
  Framework for Performance Evaluation of Service Negotiations in Agent Systems. MSVVEIS 2010: 19-29
• 
  Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige:
  KAOS-β: A Goal-oriented Process Model for EIS. MSVVEIS 2010: 40-49
• 
  Juan Garbajosa Sopeña, Manuel I. Capel Tuñón:
  Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010. SciTePress 2010, ISBN 978-989-8425-12-6 [contents]
• 2009
• 
  Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi:
  An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. MSVVEIS 2009: 119-124
• 
  René Börner, Matthias Goeken:
  Methods for Service Identification: A Criteria-based Literature Review. MSVVEIS 2009: 76-84
• 
  Lawrence Cabac, Kolja Markwardt:
  Modeling the System Organization of Multi-Agent Systems in Early Design Stages with Coarse Design Diagrams. MSVVEIS 2009: 34-43
• 
  Lawrence Cabac, Kolja Markwardt, Jan Schlüter:
  ImageNetDiff: Finding Differences in Models. MSVVEIS 2009: 156-161
• 
  Cyrille Dongmo, John Andrew van der Poll:
  Use Case Maps as an Aid in the Construction of a Formal Specification. MSVVEIS 2009: 3-13
• 
  María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares:
  Using SCADE for Decision Support in Dam Management. MSVVEIS 2009: 125-131
• 
  Stephan Gradl, André Bögelsack, Holger Wittges, Helmut Krcmar:
  Layered Queuing Networks for Simulating Enterprise Resource Planning Systems. MSVVEIS 2009: 85-92
• 
  Lotfi Majdoub, Riadh Robbana:
  Test Cases Generation for Nondeterministic Duration Systems. MSVVEIS 2009: 14-23
• 
  Kolja Markwardt, Lawrence Cabac, Christine Reese:
  A Process-Oriented Tool-Platform for Distributed Development. MSVVEIS 2009: 44-52
• 
  Ammar Mohammed, Ulrich Furbach:
  From Reactive to Deliberative Multi-agent Planning. MSVVEIS 2009: 67-75
• 
  Oana Otilia Prisecaru:
  A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure. MSVVEIS 2009: 24-33
• 
  Mihnea Scafes, Costin Badica:
  Preliminary Design of an Agent-based System for Human Collaboration in Chemical Incidents Response. MSVVEIS 2009: 53-63

skipping 129 more matches