5180 search results - page 400 / 1036 » Requirements Engineering |
322
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Incorporating the skyline operator inside the relational engine requires solving the cardinality estimation and the cost estimation problem, hitherto unaddressed. We propose robus...
164
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
When will we be secure? Nobody knows for sure – but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customersâ...
175
click to vote
CSCWD
2005
Springer
15 years 8 months ago
2005
Springer
We propose an analytic method to evaluate groupware design. The method was inspired by GOMS, a well-known approach to analyze usability problems with single-user interfaces. GOMS h...
167
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
148
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...