7121 search results - page 352 / 1425 » Functions as Session-Typed Processes |
187
click to vote
SMI
1999
IEEE
15 years 11 months ago
1999
IEEE
Inspection of reflection line patterns is a standard way to check the quality of free form surfaces. In this paper, we describe an approach which enables the designer to control d...
189
click to vote
INTEROP
1999
Springer
15 years 11 months ago
1999
Springer
In order to make database systems interoperate with systems beyond traditional application areas a new paradigm called \exporting database functionality" as a radical departur...
195
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...
179
click to vote
EPEW
2006
Springer
15 years 10 months ago
2006
Springer
This paper shows how to construct a Markovian arrival process of second order from information on the marginal distribution and on its autocorrelation function. More precisely, clo...
175
click to vote
FSE
2006
Springer
15 years 10 months ago
2006
Springer
The purpose of algebraic attacks on stream and block ciphers is to recover the secret key by solving an overdefined system of multivariate algebraic equations. They become very eff...