3909 search results - page 350 / 782 » Extreme Model Checking |
122
click to vote
ICSE
1987
IEEE-ACM
15 years 7 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
106
click to vote
JCSS
2006
15 years 4 months ago
2006
Accurate network modeling is critical to the design of network protocols. Traditional modeling approaches, such as Discrete Time Markov Chains (DTMC) are limited in their ability ...
145
click to vote
ISAS
2004
Springer
15 years 9 months ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
116
click to vote
JCIT
2008
15 years 4 months ago
2008
1 In this paper we present modeling and simulation for physical vapor deposition for metallic bipolar plates. In the models we discuss the application of different models to simula...
158
click to vote
ML
2002
ACM
15 years 3 months ago
2002
ACM
A widely acknowledged drawback of many statistical modelling techniques, commonly used in machine learning, is that the resulting model is extremely difficult to interpret. A numb...