22114 search results - page 4101 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
220
Voted
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
195
click to vote
ICISS
2007
Springer
16 years 1 months ago
2007
Springer
This paper reports the results of our experimentation with modeling worm behavior on a large scale, fully adaptable network simulator. Our experiments focused on areas of worm scan...
216
Voted
PATMOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The continuous miniaturization of semiconductor devices imposes serious threats to design robustness against process variations and environmental fluctuations. Modern ci...
218
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
223
Voted
WEA
2007
Springer
16 years 1 months ago
2007
Springer
Many speed-up techniques for route planning in static graphs exist, only few of them are proven to work in a dynamic scenario. Most of them use preprocessed information, which has ...