4636 search results - page 519 / 928 » Modelling and Validation with VipTool |
200
click to vote
WICSA
2004
15 years 8 months ago
2004
We present the work of establishing an integrated environment that facilitates architecture design, reconstruction, and maintenance in the entire life cycle of a software product ...
212
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
184
click to vote
DSS
2006
15 years 7 months ago
2006
This study investigates how customers perceive and adopt Internet Banking (IB) in Hong Kong. We developed a theoretical model based on the Technology Acceptance Model (TAM) with a...
242
click to vote
ECLIPSE
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
214
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...