researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2004
2005
2006
2007
2008
2009
2010
2011
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
UML
analysis
architecture
business process modeling
data-flow
design
e-science
meta-model
meta-objects
model checking
modeling
process modeling
rule-based
source-to-source
systematic-approach
testing
transformation
workflow
Filter by Author
[+]
OR
AND
NOT
1
Ali K. Setoodehnia
Ammar Mohammed
Arthur W. Toga
Benjamin Bishop
Brian J. d Auriol
Claudio Delrieux
Costin Badica
Csilla Bányász
Daniel Moldt
Joseph Barjis
Juan Antonio Holgado Terriza
Jung-Hyun Kim
Lawrence Cabac
Manuel I. Capel
Oana Otilia Prisecaru
Pedro Merino
Ulisses Ferreira
Ulrich Ultes-Nitsche
Wenliang Chen
Won Jee Chung
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
approach
business
design
enterprise
information
model
modeling
modelling
models
multi
process
simulation
software
system
systems
using
validation
verification
visualization
MSVVEIS (vveis)
Editions
Publications
Viewing Publication 1 - 100 from 422
2011
Using Models to Assess Impact of Defective Software
Juan Carlos Augusto
,
George Wilkie
,
Hui Wang
,
Jun Liu
,
Chunping Li
.
vveis 2011
:
71-77
Event-based Workflow Analysis in Healthcare
Eva Gattnar
,
Okan Ekinci
,
Vesselin Detschew
.
vveis 2011
:
61-70
Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt
Aleksander González
,
Luis Eduardo Mendoza
,
Manuel I. Capel
,
María A. Pérez
.
vveis 2011
:
51-60
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
Markus Helfert
,
Mouzhi Ge
,
Luís Ferreira Pires
,
Slimane Hammoudi
,
Farouk Toumani
,
Valérie Monfort
,
Wassim Jaziri
,
Manuel I. Capel Tuñón
,
Chunping Li
, editors,
SciTePress,
2011.
Bridging UML Profile based Models and OWL Ontologies in Model-driven Development - Industrial Control Application
David Hästbacka
,
Seppo Kuikka
.
vveis 2011
:
13-23
Data Mapping Model for User Programmable Web-based Mashup
Eunjung Lee
,
Hyung-Ju Joo
,
Kyong-Jin Seo
.
vveis 2011
:
41-48
Ontology-based Semantic Annotations for Business Processes in BPMN2.0
Hui Liu
,
Jean Pierre Bourey
.
vveis 2011
:
24-33
Information Technology Investment and Firm Performance in Developing Economies: A Study of Perceived Impacts of IT on Firms in Namibia
David Phiri
.
vveis 2011
:
3-9
Enhancing SOA Integration through Enterprise Services
Venky Shankararaman
,
Lum Eng Kit
.
vveis 2011
:
37-40
2010
Definition of Domain Specific Operation Languages Following MDD
Pedro Pablo Alarcón
,
Jennifer Pérez
,
Agustín Yagüe
,
David Musat
.
vveis 2010
:
5-15
Towards Domain-specific Modeling for Java Enterprise Applications
Moritz Balz
,
Michael Goedicke
.
vveis 2010
:
30-39
On Some Complementary Trends in Model Transformation Generation
Marianne Huchard
.
vveis 2010
:
3
Compositional Verification of Business Processes by Model-Checking
Luis Eduardo Mendoza
,
Manuel I. Capel
,
María A. Pérez
.
vveis 2010
:
60-69
Extending CTL to Specify Quantitative Temporal Requirements
Ammar Mohammed
,
Ulrich Furbach
.
vveis 2010
:
70-79
The Analysis of Resource Constrained Workflows using Petri Nets
Oana Otilia Prisecaru
.
vveis 2010
:
50-59
Framework for Performance Evaluation of Service Negotiations in Agent Systems
Mihnea Scafes
,
Costin Badica
.
vveis 2010
:
19-29
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
Juan Garbajosa Sopeña
,
Manuel I. Capel Tuñón
, editors,
SciTePress,
2010.
KAOS-β: A Goal-oriented Process Model for EIS
Malihe Tabatabaie
,
Fiona A. C. Polack
,
Richard F. Paige
.
vveis 2010
:
40-49
2009
An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER
Leila Jemni Ben Ayed
,
Mohamed Nidhal Jelassi
.
vveis 2009
:
119-124
Methods for Service Identification: A Criteria-based Literature Review
René Börner
,
Matthias Goeken
.
vveis 2009
:
76-84
Modeling the System Organization of Multi-Agent Systems in Early Design Stages with Coarse Design Diagrams
Lawrence Cabac
,
Kolja Markwardt
.
vveis 2009
:
34-43
ImageNetDiff: Finding Differences in Models
Lawrence Cabac
,
Kolja Markwardt
,
Jan Schlüter
.
vveis 2009
:
156-161
Use Case Maps as an Aid in the Construction of a Formal Specification
Cyrille Dongmo
,
John A. van der Poll
.
vveis 2009
:
3-13
Using SCADE for Decision Support in Dam Management
MarÃa-del-Mar Gallardo
,
Pedro Merino
,
Laura Panizo
,
Antonio Linares
.
vveis 2009
:
125-131
Layered Queuing Networks for Simulating Enterprise Resource Planning Systems
Stephan Gradl
,
André Bögelsack
,
Holger Wittges
,
Helmut Krcmar
.
vveis 2009
:
85-92
Test Cases Generation for Nondeterministic Duration Systems
Lotfi Majdoub
,
Riadh Robbana
.
vveis 2009
:
14-23
A Process-Oriented Tool-Platform for Distributed Development
Kolja Markwardt
,
Lawrence Cabac
,
Christine Reese
.
vveis 2009
:
44-52
From Reactive to Deliberative Multi-agent Planning
Ammar Mohammed
,
Ulrich Furbach
.
vveis 2009
:
67-75
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with
Daniel Moldt
,
Juan Carlos Augusto
,
Ulrich Ultes-Nitsche
, editors,
INSTICC PRESS,
2009.
A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure
Oana Otilia Prisecaru
.
vveis 2009
:
24-33
Preliminary Design of an Agent-based System for Human Collaboration in Chemical Incidents Response
Mihnea Scafes
,
Costin Badica
.
vveis 2009
:
53-63
Making Use Case Slices Manage Variability in Aspect-based Product Line
Satish Mahadevan Srinivasan
,
Mansour Zand
.
vveis 2009
:
141-148
Multi Project Organization Optimization using Genetic Algorithm
Sven Tackenberg
,
Sebastian Schneider
.
vveis 2009
:
101-115
Information Systems Configuration Analysis using Event-driven Computer Simulation
Tomasz Walkowiak
,
Katarzyna Michalska
.
vveis 2009
:
162-167
The Role of Testing in Agile and Conventional Methodologies
AgustÃn Yagüe
,
Juan Garbajosa
.
vveis 2009
:
93-100
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications
Ahlem Ben Younes
,
Leila Jemni Ben Ayed
.
vveis 2009
:
149-155
Database Integrity in Integrated Systems
José Francisco Zelasco
,
Judith Donayo
.
vveis 2009
:
132-140
2008
Proceedings of the 2008 International Conference on Modeling, Simulation & Visualization Methods, MSV 2008, Las Vegas, Nevada, USA, July 14-17, 2008
CSREA Press,
2008.
An Aspect for Design by Contract in Java
Sérgio Agostinho
,
Pedro Guerreiro
,
Hugo Taborda
.
vveis 2008
:
119-128
Numerical Simulation and Adaptive Algorithms of Hybrid Type for Integral Equations Solution
Dmitri Arsenjev
,
Vladimir Ivanov
,
Maxim Korenevsky
.
vveis 2008
:
102-106
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B
Leila Jemni Ben Ayed
,
Fatma Siala
.
vveis 2008
:
190-198
Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP
Amelia Badica
,
Costin Badica
.
vveis 2008
:
9-18
Generating Network Models Using the S-Metric
Isabel Beichl
,
Brian Cloteaux
.
vveis 2008
:
159-164
Visualization Done Right!
Hans-Peter Bischof
.
vveis 2008
:
109-115
Flame Visualisation Based on Computational Fluid Dynamics (CFD) Results
Patrick G. Boisvert
,
Adrian J. Majeski
,
Allan M. Runstedtler
,
Eddy H. Chui
.
vveis 2008
:
123-128
Modeling with Service Dependency Diagrams
Lawrence Cabac
,
Ragna Dirkner
,
Daniel Moldt
.
vveis 2008
:
109-118
Approaches to an All-encompassing Formal Semantics for the UML
María Victoria Cengarle
.
vveis 2008
:
3-4
Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities
Vincent Chapurlat
.
vveis 2008
:
5-6
Active Database System Realized by a Petri Net Approach
Lorena Chavarría-Báez
,
Xiaoou Li
.
vveis 2008
:
150-159
Computer Assisted Simulation Model of Renal Tumor Cryosurgery
Chih-Wei Chen
,
Hong-Sen Kou
,
Hsueh-Erh Liu
,
Cheng-Keng Chuang
,
Li-Jen Wang
.
vveis 2008
:
77-83
Modelling and Visualization of the Traffic System with Multi-Agent System and GIS
P. Dergel
,
P. Fuks
.
vveis 2008
:
292-297
A Model for the Economic Costs of Biological Invasion
Claudia M. Dias
,
Simone A. Delphim
,
Luiz Bevilacqua
,
Augusto C. N. Galeão
.
vveis 2008
:
22-25
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services
George Eleftherakis
,
Ognen Paunovski
.
vveis 2008
:
180-189
Networked Parallel Simulation of Transmission Grid
Jinming Ge
,
Deok Nam
,
Khalil Habash
.
vveis 2008
:
84-88
Interactive Fluid Simulation and its Remote Steering Framework with Visual and Haptic Feedback
Kesuke Hashimoto
,
Shin-ichiro Mori
,
Akinori Yamaguchi
,
Makoto Komatsubara
,
Shinji Tomita
.
vveis 2008
:
53-57
Modelling and Visualizing the Cahn-Hilliard-Cook Equation
Ken Hawick
,
Daniel P. Playne
.
vveis 2008
:
149-155
A MIP model for IC final testing order selection problem
Chun-Ying Huang
,
Amy Hsin-I Lee
,
Tzu-Yun Chang
.
vveis 2008
:
238-241
Effects of Valid Source-Destination Edges for Node-Disjoint Multipaths on AD HOC Networks
SeokHo Jung
,
Bokman Lee
,
Elmurod Talipov
,
MyunWhan Ahn
,
Chonggun Kim
.
vveis 2008
:
308-313
Children Unintentional Injury Visualization System Based on Behavior Model and Injury Data
Koji Kitamura
,
Yoshifumi Nishida
,
Yoichi Motomura
,
Hiroshi Mizoguchi
.
vveis 2008
:
251-256
MyUniverse: Cosmology Simulation System Modeling the Discovery of the Content of the Universe
Rone K. Lim
,
Derek Wells
,
Dallim Park
,
Milan Mijic
,
Tony Longson
,
Eun-Young Elaine Kang
.
vveis 2008
:
286-291
A Model Transformation Framework for Model Driven Engineering
Hongming Liu
,
Xiaoping Jia
,
Lizhang Qin
,
Adam Steele
.
vveis 2008
:
59-70
An Approximate Mathematical Model for Analysis of Underwater Acoustic Sensor Networks
Ziping Liu
,
Wai Yuen Chan
,
Stephen Shih
.
vveis 2008
:
91-95
Microsoft Excel as a Design Tool for Small-Scale Industries and Laboratory Purpose in the Field of Power Electronics and Electrical Drives
Vinod Makwana
,
Kalpesh Chudasama
.
vveis 2008
:
242-247
Three Phase Slip Ring Induction Motor Drive with Slip Power Control Analysis for Different Load Torque using Microsoft Excel as Software tool
Vinod N. Makwana
,
Kalpesh J. Chudasama
,
Yogesh M. Makwana
.
vveis 2008
:
270-275
Modeling the Spread of Mobile Malware
Juil Martin
,
Legand L. Burge III
,
Marcus Alfred
,
Alicia Nicki Washington
.
vveis 2008
:
3-9
Software Model Checking for Internet Protocols with Java PathFinder
Jesús Martínez
,
Cristóbal Jiménez
.
vveis 2008
:
91-100
SystemVerilog Maximum Performance Maneuvers
Ronald W. Mehler
.
vveis 2008
:
202-205
Modeling Multi-agent Logistic Process System using Hybrid Automata
Ammar Mohammed
,
Ulrich Furbach
.
vveis 2008
:
141-149
ORUIES: Object Oriented User Interface for Embedded Systems
Hytham Mousa
,
William A. Stapleton
,
Kenneth G. Ricks
.
vveis 2008
:
222-226
Weakly Continuation Closed Homomorphisms on Automata
Thierry Nicola
,
Ulrich Ultes-Nitsche
.
vveis 2008
:
39-48
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way
Thierry Nicola
,
Frank Nießner
,
Ulrich Ultes-Nitsche
.
vveis 2008
:
49-58
A Probabilistic Risk Estimation with Multiple Regression Dependent Dummy Variable Method using Logit Transformation
Noh-Jin Park
,
K. M. George
,
Nohpill Park
.
vveis 2008
:
165-169
Real-Time Modeling and Simulation of Traffic
Kaushal Patel
.
vveis 2008
:
10-14
Visual Analysis of Limited Area Boundary Conditions
Louise Perkins
,
Sumanth Yenduri
,
Farnaz Zand
.
vveis 2008
:
96-101
A Case Study in Integrated Quality Assurance for Performance Management Systems
Liam Peyton
,
Bo Zhan
,
Bernard Stepien
.
vveis 2008
:
129-138
Determining Rotational Conformations of Substituted DNA Sequences On the Nucleosome Core Particle
Levi Pierce
,
Terry Clark
.
vveis 2008
:
173-177
Formal Goal-based Modeling of Organizations
Viara Popova
,
Alexei Sharpanskykh
.
vveis 2008
:
19-28
A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows
Oana Otilia Prisecaru
.
vveis 2008
:
29-38
Visualization of Defibrillation Simulation Using Multiple Transthoracic Electrodes
Joseph Qualls
,
David J. Russomanno
,
Amy de Jongh Curry
,
Deepika Konakanchi
.
vveis 2008
:
136-141
Visualizing and Interacting with Multiple Simulations Using the Multichronic Tree
François Rioux
,
François Bernier
,
Denis Laurendeau
.
vveis 2008
:
116-122
Modeling and Simulation of Human Lumbar Spine
Ahmed Sameh
,
Ayman Kassem
.
vveis 2008
:
15-21
Computer-aided Response Surface Modeling Integrated with Parameter Optimization by a Genetic Algorithm for Biofuel Production
Ramkrishna Sen
.
vveis 2008
:
263-269
Cascade Vulnerability Problem Simulator Tool
Christian Servin
,
Martine Ceberio
.
vveis 2008
:
227-231
The Linear Conditional Probability Matrix Generator for IT Governance Performance Prediction
Mårten Simonsson
,
Robert Lagerström
,
Pontus Johnson
.
vveis 2008
:
170-179
Fuzzy And Neurofuzzy Techniques For Crack Detection In Armor Plates
Harpreet Singh
,
Shashank Kamthan
,
Arati Dixit
,
Adam Mustapha
,
Thomas Meitzler
,
Allen Meitzler
.
vveis 2008
:
298-307
Fuzzy Model And Computerization In HomeCare Physical Therapy
Harpreet Singh
,
Shashank Kamthan
,
Jagdeep Gulati
.
vveis 2008
:
276-285
Using MPI in Collaborative Design
Tieming Su
,
Xiaoliang Tai
.
vveis 2008
:
206-211
Epidemic Thresholds via Computer Algebra
Jeyver André Morales Taborda
.
vveis 2008
:
178-181
A Simulator for Training Fossil-Fuel Power Plants Operators with an HMI Based on a Multi-Window System
José Tavira-Mondragón
,
Luis Jiménez-Fraustro
,
Guillermo Romero-Jiménez
.
vveis 2008
:
64-69
Data Missing and Make-up Work Studies over a PIDn Networked Control System
Lanzhi Teng
,
Peng Wen
.
vveis 2008
:
195-201
Deficiencies in the Internet Mass Media Visualization of U.S. Election Results
Soon Tee Teoh
.
vveis 2008
:
142-148
Comparing Methodologies for Service-Orientation using the Generic System Development Process
Linda Terlouw
.
vveis 2008
:
101-108
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with
Ulrich Ultes-Nitsche
,
Daniel Moldt
,
Juan Carlos Augusto
, editors,
INSTICC PRESS,
2008.
Swarm Shopping - The Simulation of Herd Behavior
Zeeshan-ul-hassan Usmani
,
Binish Bhagwanee
,
Aisha Azhar
.
vveis 2008
:
58-63
Simulation and Modeling of a Virtual Library for Navigation and Evacuation
Harish Vadali
,
Sharad Sharma
.
vveis 2008
:
48-52
Modelling Multi-Agent Systems with Organizations in Mind
Matthias Wester-Ebbinghaus
,
Daniel Moldt
.
vveis 2008
:
81-90
Implementation of FlexRay CC and BG Protocols with Application to a Robot System
Yinan Xu
,
Hyunsoo Kang
,
Yongeun Kim
,
Kyungju Cho
,
Jingyun Chung
.
vveis 2008
:
232-237
A General Framework for Geometric Partial Differential Equations
Yinhui Yan
,
C. P. Kwong
.
vveis 2008
:
170-172
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving
Kenro Yatake
,
Takuya Katayama
.
vveis 2008
:
71-80
Simulation of an Optical Tracking Control System of a Differentially-Driven Wheeled Mobile Robot
Loren Yeo
,
Sabu John
,
John Mo
.
vveis 2008
:
41-47
Sign in
or
sign up
to see more results.