Sciweavers

10285 search results - page 183 / 2057
» Composing Feature Models
Sort
View
ICAIL
2005
ACM
15 years 11 months ago
A Note on Interpretations for Federated Languages and the Use of Disquotation
Quotation and subsequent disquotation of propositional content sentences has been proposed for, and has some attractive features for, representing content sentences embedded in co...
Steven Orla Kimbrough
EVOW
2005
Springer
15 years 11 months ago
On the Application of Evolutionary Algorithms to the Consensus Tree Problem
Computing consensus trees amounts to finding a single tree that summarizes a collection of trees. Three evolutionary algorithms are defined for this problem, featuring characteri...
Carlos Cotta
IJCAI
2007
15 years 7 months ago
A Predictive Approach to Help-Desk Response Generation
We are developing a corpus-based approach for the prediction of help-desk responses from features in customers’ emails, where responses are represented at two levels of granular...
Yuval Marom, Ingrid Zukerman
AGTIVE
2003
Springer
15 years 11 months ago
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
Juan de Lara, Esther Guerra, Hans Vangheluwe
FASE
2004
Springer
15 years 11 months ago
Modeling Role-Based Access Control Using Parameterized UML Models
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na ...