Sciweavers

2670 search results - page 142 / 534
» Modeling systems with internal state using evolino
Sort
View
CSFW
2012
IEEE
13 years 9 months ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...
TACAS
2000
Springer
138views Algorithms» more  TACAS 2000»
15 years 10 months ago
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norma...
JCIT
2008
131views more  JCIT 2008»
15 years 6 months ago
Intelligent Tutoring System: Predicting Students Results Using Neural Networks
In this paper we propose methods to utilize Artificial Neural Networks to obtain knowledge for the management of educational resources. The final evaluations provide us a model th...
E. R. Naganathan, R. Venkatesh, N. Uma Maheswari
ICDIM
2007
IEEE
16 years 23 days ago
The selection of CRM systems in financial institutes using the analytic hierarchy
Recently, by changing business circumstances, financial institutes have become interested in customer relationship management (CRM) in order to obtain continuous profit and to kee...
Taeho Hong, Eunmi Kim
HICSS
2005
IEEE
148views Biometrics» more  HICSS 2005»
16 years 2 days ago
Common Data Model for Design Document Exchange in Business-to-Business Networks
Design documents can be exchanged in business-tobusiness networks through Product Data Management (PDM) system integration. This rarely used approach provides new possibilities fo...
Katrine Jokinen, Jukka Borgman, Reijo Sulonen