COSAR: Commitment-oriented "sense and respond" system for microelectronic manufacturingJun-Jang JengHenry Changet al.2003SAC 2003
CIGMA: aCtive inventory service in global e-MArket based on efficient catalog managementSu Myeon KimKyungmin Choet al.2003SAC 2003
Synchronization analysis for decentralizing composite web servicesMangala Gowri NandaNeeran Karnik2003SAC 2003
Towards model-based generation of self-priming and self-checking conformance tests for interactive systemsAmit Paradkar2003SAC 2003