9182 search results - page 329 / 1837 » Requirements for Requirements Management Tools |
145
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires reasoning at the meta-level. There is a particularly elegan...
189
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
169
click to vote
ACL
1996
15 years 8 months ago
1996
This paper proposes the use of "patternbased" context-free grammars as a basis for building machine translation (MT) systems, which are now being adopted as personal too...
209
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Advances in hardware, storage, devices, connectivity, and web technology are changing the way applications are designed, deployed, and managed. Applications are increasingly becom...
178
click to vote
DEXAW
2005
IEEE
16 years 11 days ago
2005
IEEE
Today, management and tuning questions are approached using if...then... rules of thumb. This reactive approach requires expertise regarding of system behavior, making it difficu...