3909 search results - page 281 / 782 » Extreme Model Checking |
166
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
The model driven development is an interested area among software engineers as well as the agile development. In fact, combining model driven and agile practices is an interesting ...
125
click to vote
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
114
Voted
WSC
2001
15 years 4 months ago
2001
This paper presents a hierarchical approach on the simulation of large-scale discrete event systems used recently by Kiran Consulting Group (KCG) to model shipyard operations. Bec...
118
click to vote
ICC
2009
IEEE
15 years 1 months ago
2009
IEEE
Background traffic has a significant impact on the behavior of network services and protocols. However, a detailed model of the background traffic can be extremely time consuming i...
139
click to vote
ENTCS
2007
15 years 3 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...