1784 search results - page 221 / 357 » A Service Model for Component-Based Development |
111
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
ACMICEC
2004
ACM
2004
ACM
Analysing preventative and detective control mechanisms in international trade using value modelling
15 years 7 months ago
Exploration and development of e-business models takes a series of viewpoints. One important perspective is the value web perspective, which can be modelled using the e3value meth...
128
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
114
click to vote
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract- Procurement, i.e., the process of obtaining materials or services and managing their inflow into organizations, is a critical process in supply chain management. Internet...
139
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...