5904 search results - page 563 / 1181 » Requirements for a Composition Language |
197
click to vote
LOPSTR
2004
Springer
16 years 18 days ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
191
click to vote
UML
2004
Springer
16 years 17 days ago
2004
Springer
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language â...
153
click to vote
VL
2003
IEEE
16 years 15 days ago
2003
IEEE
Interpreting general purpose programming constructs can be difficult because it requires context, such as knowledge of language syntax or idioms, which users may not have readily ...
196
click to vote
DEXAW
2002
IEEE
16 years 6 days ago
2002
IEEE
XML has emerged as the leading language for representing and exchanging data not only on the Web, but also in general in the enterprise. XQuery is emerging as the standard query l...
205
click to vote
FOCS
2002
IEEE
16 years 6 days ago
2002
IEEE
We show that every language in NP has a (black-box) concurrent zero-knowledge proof system using ËœO(log n) rounds of interaction. The number of rounds in our protocol is optimal,...