5465 search results - page 176 / 1093 » Assigning Types to Processes |
118
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
125
click to vote
TIP
2002
15 years 2 months ago
2002
Signal and image enhancement is considered in the context of a new type of diffusion process that simultaneously enhances, sharpens, and denoises images. The nonlinear diffusion co...
106
Voted
SIGSOFT
2001
ACM
16 years 3 months ago
2001
ACM
There is a growing interest in empirical study in software engineering, both for validating mature technologies and for guiding improvements of less-mature technologies. This pape...
141
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Architectural design decisions are commonly agreed as one of the main elements that constitute architectural knowledge. To avoid knowledge vaporization, architectural decisions an...
131
click to vote
ICDE
2008
IEEE
15 years 9 months ago
2008
IEEE
— The integration of heterogeneous data sources is one of the main challenges within the area of data engineering. Due to the absence of an independent and universal benchmark fo...