22909 search results - page 4326 / 4582 » A System of Interaction and Structure |
188
click to vote
AFP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
198
click to vote
ASWSD
2004
Springer
16 years 2 days ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
182
click to vote
CAISE
2004
Springer
16 years 2 days ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
207
click to vote
EUROCRYPT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
196
click to vote
RT
2004
Springer
16 years 1 days ago
2004
Springer
Falling snow has the visual property that it is simultaneously a set of discrete moving particles as well as a dynamic texture. To capture the dynamic texture properties of fallin...