ct-oriented modules that create an abstract interface for a specific class of hardware or software components. If these components provide "intelligent" functions, the ov...
Minimally invasive cardiac surgery is performed on the beating heart, through inter-costal ports. The two major limitations of these procedures are: selecting port locations for op...
Autonomic, i.e. dynamic and fault-tolerant Web service composition is a requirement resulting from recent developments such as on-demand services. In the context of planning-based...
We consider a generalization of the PDB homomorphism abstractions to what is called "structural patterns". The bais in abstracting the problem in hand into provably trac...
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, ...