230 search results - page 17 / 46 » Continuations and transducer composition |
111
click to vote
CCS
2003
ACM
15 years 5 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
CSREAEEE
2006
15 years 1 months ago
2006
A world of ever growing competition not only forces enterprises to continuously optimise their private business processes but also to integrate their business processes with their ...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Driven by the increasing componentization of scientific codes, the deployment of high-end system infrastructures such as the Grid, and the desire to support high level problem so...
103
click to vote
ACSD
2004
IEEE
15 years 3 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
127
click to vote
GRAPHICSINTERFACE
2011
14 years 3 months ago
2011
The classic task of image compositing is complicated by the fact that the source and target images need to be carefully aligned and adjusted. Otherwise, it is not possible to achi...