1460 search results - page 157 / 292 » Very Lightweight Requirements Modeling |
CIE
2010
Springer
13 years 10 months ago
2010
Springer
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
COLING
2008
13 years 10 months ago
2008
Query-oriented update summarization is an emerging summarization task very recently. It brings new challenges to the sentence ranking algorithms that require not only to locate th...
FORTE
2007
13 years 10 months ago
2007
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...
DMDW
2001
13 years 10 months ago
2001
In this paper, we present SISYPHUS, a storage manager for data cubes that provides an efficient physical base for performing OLAP operations. On-Line Analytical Processing (OLAP) ...
LISA
2004
13 years 10 months ago
2004
Analysis of network traffic is becoming increasingly important, not just for determining network characteristics and anticipating requirements, but also for security analysis. Sev...