442 search results - page 38 / 89 » Model Checking of Systems Employing Commutative Functions |
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
We present a method for the prediction of the performance of a service-oriented architecture during its early stage of development. The system under scrutiny is modelled with the U...
CORR
2011
Springer
13 years 7 days ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
ANNPR
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents a framework for multiclass vehicle type (Make and Model) identification based on oriented contour points. A method to construct a model from several frontal ve...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
A new model-order reduction technique for linear dynamic systems is presented. The idea behind this technique is to transform the dynamic system function from the s-domain into th...
CEEMAS
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a mobile agent platform, Secure Mobile Agent Platform (SECMAP), and its security infrastructure. Unlike other agent systems, SECMAP proposes a new agent model,...