Sciweavers

4245 search results - page 152 / 849
» Input Modeling
Sort
View
AMOST
2005
ACM
16 years 7 days ago
A simulation model of a multi-server EJB system
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
David McGuinness, Liam Murphy
BPM
2004
Springer
108views Business» more  BPM 2004»
16 years 2 days ago
SMART: System Model Acquisition from Requirements Text
Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that ...
Dov Dori, Nahum Korda, Avi Soffer, Shalom Cohen
RE
2009
Springer
16 years 1 months ago
Semantic Criteria for Choosing a Language for Big-Step Models
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. At...
WSC
2004
15 years 8 months ago
Modeling a Garment Manufacturer's Cash Flow Using Object-Oriented Simulation
Garment manufacturers usually work with a short vision of the demand to come in the following months. So they want to borrow as little as possible while still making a good profit...
José A. Sepúlveda, Haluk M. Akin
FASE
2004
Springer
15 years 10 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...