22114 search results - page 4101 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
193
click to vote
GPCE
2007
Springer
16 years 25 days 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...
165
click to vote
ICISS
2007
Springer
16 years 25 days 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...
185
click to vote
PATMOS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The continuous miniaturization of semiconductor devices imposes serious threats to design robustness against process variations and environmental fluctuations. Modern ci...
185
click to vote
TACAS
2007
Springer
16 years 24 days 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...
189
click to vote
WEA
2007
Springer
16 years 24 days 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 ...