7121 search results - page 396 / 1425 » Functions as Session-Typed Processes |
155
click to vote
PEPM
2004
ACM
16 years 3 days ago
2004
ACM
We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...
162
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Incremental changes add new functionality and properties to software. They are the core of software evolution, maintenance, iterative development, agile development, and similar s...
175
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
We describe the software environment that has been developed for the management and support of planning missions in the SAR domain. We have chosen to develop a configurable environ...
180
click to vote
ICIAP
1999
ACM
15 years 11 months ago
1999
ACM
In this paper, a new deformable contour method derived from a constrained contour energy minimization framework is presented. By imposing a constraint of region, which can be any ...
166
click to vote
AFRICACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Proof-of-work schemes are economic measures to deter denial-of-service attacks: service requesters compute moderately hard functions the results of which are easy to check by the ...