Sciweavers

8701 search results - page 226 / 1741
» XML-Based Feature Modelling
Sort
View
PAAMS
2010
Springer
15 years 4 months ago
Assessing Knowledge Management in the Power Sector through a Connectionist Model
It has been proven that Artificial Intelligence, in general, and Artificial Neural Networks, in particular, can be successfully applied to problems in the field of Knowledge Manage...
Álvaro Herrero, Lourdes Cecilia Sáiz...
CISC
2009
Springer
171views Cryptology» more  CISC 2009»
15 years 4 months ago
Sanitizable Signatures with Strong Transparency in the Standard Model
Sanitizable signatures provide several security features which are useful in many scenarios including military and medical applications. Sanitizable signatures allow a semi-trusted...
Shivank Agrawal, Swarun Kumar, Amjed Shareef, C. P...
IFIP
2009
Springer
15 years 4 months ago
Model Checking of Security-Sensitive Business Processes
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
Alessandro Armando, Serena Elisa Ponta
CSMR
2010
IEEE
15 years 1 months ago
Under and Over Approximation of State Models Recovered for Ajax Applications
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
TSMC
2011
250views more  TSMC 2011»
15 years 1 months ago
Markov Models for Biogeography-Based Optimization
—Biogeography-based optimization (BBO) is a4 population-based evolutionary algorithm that is based on the5 mathematics of biogeography. Biogeography is the science and6 study of ...
Dan Simon, Mehmet Ergezer, Dawei Du, Richard Allen...