4250 search results - page 343 / 850 » Understanding the Requirements on Modelling Techniques |
154
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
191
Voted
NJC
2006
15 years 6 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
200
click to vote
NETCOOP
2007
Springer
16 years 28 days ago
2007
Springer
Understanding the relationship between queueing delays and link utilization for general traffic conditions is an important open problem in networking research. Difficulties in unde...
176
click to vote
COMCOM
2010
15 years 5 months ago
2010
Understanding the relationship between queueing delays and link utilization for general traffic conditions is an important open problem in networking research. Difficulties in und...
154
click to vote
MSWIM
2006
ACM
16 years 23 days ago
2006
ACM
Nowadays network bandwidth is increasing continuously for endusers and network providers. Network monitoring tools have to be able to support these high-speed networks, processing...