3911 search results - page 720 / 783 » Using Operational Architecture to Model Embedded Software |
139
click to vote
ACSW
2003
15 years 3 months ago
2003
This paper explores the complications encountered when attempting to create a secure pervasive computing environment. The model introduced in this paper is primarily conceptual. T...
130
Voted
FC
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. SPEED is a private key block cipher. It supports three variable parameters: (1) data length — the length of a plaintext/ciphertext of SPEED can be 64, 128 or 256 bits. ...
131
Voted
EON
2008
15 years 4 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
135
Voted
LCTRTS
2009
Springer
15 years 9 months ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...
116
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...