Conferences in DBLP

Verification and Validation of Enterprise Information Systems (vveis)
2007 (conf/vveis/2007)

1. 
   The Pervasive Role of Modeling and Simulation in a Globalized Business Economy. [Citation Graph (, )][DBLP]
   
   
2. 
   Process-centric Modelling for Enterprise Information Systems. [Citation Graph (, )][DBLP]
   
   
3. 
   Network Enterprise Systems Safety and the Market Pressure - The Paradigm. [Citation Graph (, )][DBLP]
   
   
4. 
   Resource Workflow Nets: a Petri Net Formalism for Workflow Modelling. [Citation Graph (, )][DBLP]
   
   
5. 
   Business Process Modeling Using an Interactive Framework for Immersive Research, Support and Training (I-FIRST). [Citation Graph (, )][DBLP]
   
   
6. 
   An Innovative Method for Business Process Modeling. [Citation Graph (, )][DBLP]
   
   
7. 
   Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. [Citation Graph (, )][DBLP]
   
   
8. 
   Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features. [Citation Graph (, )][DBLP]
   
   
9. 
   UML-driven Information Systems and their Formal Integration Validation and Distribution. [Citation Graph (, )][DBLP]
   
   
10. 
    An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. [Citation Graph (, )][DBLP]
    
    
11. 
    Checking Properties of Business Process Models with Logic Programming. [Citation Graph (, )][DBLP]
    
    
12. 
    Checking Complex Compositions of Web Services Against Policy Constraints. [Citation Graph (, )][DBLP]
    
    
13. 
    Extending CADP for Analyzing C Code. [Citation Graph (, )][DBLP]
    
    
14. 
    Process-oriented Organization Modeling and Analysis. [Citation Graph (, )][DBLP]
    
    
15. 
    Transformation of BPMN Models for Behaviour Analysis. [Citation Graph (, )][DBLP]
    
    
16. 
    Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications. [Citation Graph (, )][DBLP]
    
    
17. 
    Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification. [Citation Graph (, )][DBLP]
    
    
18. 
    Support of Project Planning in Chemical Engineering via Modeling and Simulation. [Citation Graph (, )][DBLP]
    
    
19. 
    A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. [Citation Graph (, )][DBLP]
    
    
20. 
    Using Ethnographic Techniques to Describe Requirements Engineering Processes in Geographic Information Systems Workgroups. [Citation Graph (, )][DBLP]
    
    
21. 
    A Healthcare Center Simulation using Arena. [Citation Graph (, )][DBLP]