Sciweavers

77016 search results - page 88 / 15404
» Modeling Modeling
Sort
View
OTM
2005
Springer
15 years 8 months ago
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
Jingtao Yang, Corina Cîrstea, Peter Henderso...
102
Voted
WSC
2000
15 years 3 months ago
Toward a standard process: the use of UML for designing simulation models
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
Hendrik Richter, Lothar März
POPL
2002
ACM
16 years 2 months ago
Types as models: model checking message-passing programs
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
ICEIS
2009
IEEE
15 years 9 months ago
Toward a Quality Model for CBSE - Conceptual Model Proposal
María A. Reyes, Maryoly Ortega, Marí...
IWANN
2009
Springer
15 years 9 months ago
Modelling Dengue Epidemics with Autoregressive Switching Markov Models (AR-HMM)
Madalina Olteanu, Esther García-Garaluz, Mi...