![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- 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.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
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]
loading more results
failed to load more results, please try again later
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-15 05:09 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint