Sciweavers

1861 search results - page 146 / 373
» Performance modeling of component assemblies
Sort
View
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 28 days ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
SBRN
1998
IEEE
15 years 7 months ago
Design of Radial Basis Function Network as Classifier in Face Recognition Using Eigenfaces
In this paper we investigate alternative designs of a Radial Basis Function Network acting as classifier in a face recognition system. Input to the RBF network is the projections ...
Carlos E. Thomaz, Raul Queiroz Feitosa, Alvaro Vei...
128
Voted
EAAI
2007
135views more  EAAI 2007»
15 years 3 months ago
Automatic generation of explanations: AGE
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
Silvia B. González-Brambila, Eduardo F. Mor...
INTR
2007
90views more  INTR 2007»
15 years 3 months ago
Classification and synthesis of quality approaches in e-government services
ed abstract Purpose: The purpose of this paper is to present a multi-faceted summary and classification of the existing literature in the field of quality of service for egovernmen...
Christos Halaris, Babis Magoutas, Xenia Papadomich...
WSE
2006
IEEE
15 years 9 months ago
Modeling Request Routing in Web Applications
For web applications, determining how requests from a web page are routed through server components can be time-consuming and error-prone due to the complex set of rules and mecha...
Minmin Han, Christine Hofmeister