2296 search results - page 290 / 460 » The Expressive Power of Synchronizations |
158
click to vote
GC
2004
Springer
15 years 12 months ago
2004
Springer
Polynomial time adversaries based on a computational view of cryptography have additional capabilities that the classical Dolev-Yao adversary model does not include. To relate thes...
151
click to vote
ICWE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we integrate WebML, a high-level model and technology for building server-side Web applications, with UML-Guide, a UML-based system that generates client-s...
172
click to vote
LOPSTR
2004
Springer
15 years 12 months 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...
155
click to vote
NIME
2004
Springer
15 years 12 months ago
2004
Springer
When envisaging new digital instruments, designers do not have to limit themselves to their sonic capabilities (which can be absolutely any), not even to their algorithmic power; ...
149
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...