7118 search results - page 322 / 1424 » Electrical and Computer Engineering |
192
click to vote
MIDDLEWARE
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we argue for middleware languages that aid in service composition. We outline where such languages could be useful through the description of our current architectur...
173
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
154
click to vote
ARCS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract: We report on our experiences with the implementation of a parallel algorithm to compute the cycle structure of a permutation given as an oracle. As a sub-problem, the cyc...
159
click to vote
HUC
1999
Springer
15 years 11 months ago
1999
Springer
In developing electronic gadgets, meters and oscilloscopes are used to probe into their workings, so that engineers can understand how they are behaving and how they can be improve...
139
click to vote
FSTTCS
2007
Springer
16 years 26 days ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...