In [Z. Cai, C. Tong, P. S. Vassilevski, and C. Wang, Numer. Methods Partial Differential Equations, to appear], the authors developed and analyzed a mixed finite element method for...
The software architecture of most systems is described informally and diagrammatically. In order for these descriptions to be meaningful at all, gures are understood by interpreti...
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...