1104 search results - page 81 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
MOBICOM
2003
ACM
14 years 2 months ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...
IJCV
2000
13 years 8 months ago
2000
This paper introduces a uniform statistical framework for both 3-D and 2-D object recognition using intensity images as input data. The theoretical part provides a mathematical too...
INFOCOM
1999
IEEE
14 years 1 months ago
1999
IEEE
Recently, networks have increased rapidly both in scale and speed. Problems related to the control and management are of increasing interest. The average throughput and end-to-end ...
TPDS
2002
13 years 8 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...