726 search results - page 111 / 146 » Formal Requirements Engineering: Learning from the Students |
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
111
click to vote
QSIC
2007
IEEE
15 years 6 months ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
114
click to vote
IUI
2003
ACM
15 years 5 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
108
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
COLT
2008
Springer
15 years 1 months ago
2008
Springer
This paper describes an efficient reduction of the learning problem of ranking to binary classification. The reduction guarantees an average pairwise misranking regret of at most t...