MSVVEIS 2005:
Miami,
FL,
USA
Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis (Eds.):
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/INSTICC Press 2005, ISBN 972-8865-22-8 BibTeX
Invited Speakers
Full Papers
- Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche:
Model-checking Inherently Fair Linear-time Properties.
3-8 BibTeX
- Macario Polo Usaola, Andres Flores:
Towards Run-time Component Integration on Ubiquitous Systems.
9-18 BibTeX
- Jaime Ramírez, Angélica de Antonio:
Consistency Verification of a Non-monotonic Deductive System based on OWL Lite.
19-28 BibTeX
- Dejan Gradisar, Gasper Music:
Petri-net modeling of production systems based on production management data.
29-38 BibTeX
- 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.
39-48 BibTeX
- 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.
49-57 BibTeX
- Andres Flores, Macario Polo:
Towards Application Suitability for PvC Environments.
58-62 BibTeX
Short Papers
- Kåre J. Kristoffersen, Yvonne Dittrich:
Expanding Database Systems into self-verifying Entities.
65-70 BibTeX
- Wing Lok Yeung, Karl R. P. H. Leung:
Deriving Test Cases from B Machines Using Class Vectors.
71-76 BibTeX
- Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche:
A Unit Testing Framework for Network Configurations.
77-82 BibTeX
- Frédéric Gervais, Marc Frappier, Régine Laleau:
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?
83-88 BibTeX
- Joshua J. Pauli, Dianxiang Xu:
Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study.
89-95 BibTeX
- Joselito Medina Marín, Xiaoou Li:
An Active Rule Base Simulator based on Petri Nets.
96-101 BibTeX
- Josko Dvornik, Srdan Dvornik, Eno Tireli:
Computing Simulation and Heuristic Optimization of the Marine Diesel Drive Generating.
102-106 BibTeX
- Joseph Barjis:
An Example of Business Process Simulation Using ARENA.
107-112 BibTeX
Posters
Copyright © Sat May 16 23:47:02 2009
by Michael Ley (ley@uni-trier.de)
