3082 search results - page 172 / 617 » Deviation Analysis: A New Use of Model Checking |
183
click to vote
ENTCS
2010
15 years 6 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
156
click to vote
IJMTM
2007
15 years 6 months ago
2007
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....
166
click to vote
FORMATS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
158
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
The growing impact of within-die process variation has created the need for statistical timing analysis, where gate delays are modeled as random variables. Statistical timing anal...
157
click to vote
IGPL
2010
15 years 4 months ago
2010
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence network...