Sciweavers

984 search results - page 175 / 197
» Experimenting with Multi-Level Models in a Two-Level Modelin...
Sort
View
DKE
2007
199views more  DKE 2007»
15 years 3 months ago
QMatch - Using paths to match XML schemas
Integration of multiple heterogeneous data sources continues to be a critical problem for many application domains and a challenge for researchers world-wide. With the increasing ...
Naiyana Tansalarak, Kajal T. Claypool
165
Voted
TDSC
2008
152views more  TDSC 2008»
15 years 3 months ago
Towards Formal Verification of Role-Based Access Control Policies
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qih...
120
Voted
JUCS
2007
84views more  JUCS 2007»
15 years 3 months ago
Formal Representations of Learning Scenarios: A Methodology to Configure E-Learning Systems
: Nowadays, advanced E-Learning systems are generally pedagogy-aware. Commonly, these systems include facilities for defining so-called learning scenarios that reflect sophisticate...
Denis Helic
142
Voted
CLEIEJ
2004
137views more  CLEIEJ 2004»
15 years 3 months ago
A Component-based Product Line for Workflow Management Systems
This paper presents a component-based product line for workflow management systems. The process followed to design the product line was based on the Catalysis method. Extensions w...
Itana Maria de Souza Gimenes, Fabrício Rica...
110
Voted
RE
2008
Springer
15 years 3 months ago
Rule-Based Maintenance of Post-Requirements Traceability Relations
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
Patrick Mäder, Orlena Gotel, Ilka Philippow