3082 search results - page 94 / 617 » Deviation Analysis: A New Use of Model Checking |
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
191
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
We propose an economic model based on user utility to study the adoption of new network architectures such as IPv6. We use mathematical analysis and simulation studies to understa...
179
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Computational science is placing new demands on optimization algorithms as the size of data sets and the computational complexity of scientific models continue to increase. As thes...
175
click to vote
COMCOM
2008
15 years 6 months ago
2008
Modeling peer-to-peer (P2P) networks is a challenge for P2P researchers. In this paper, we provide a detailed analysis of large-scale hybrid P2P overlay network topology, using Gn...
166
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...