Pushing requirements changes through to changes in specifications Lan LinJesse H. Poore Research Article 06 November 2008 Pages: 331 - 343
Verifying BPEL-like programs with Hoare logic Chenguang LuoShengchao QinZongyan Qiu Research Article 05 December 2008 Pages: 344 - 356
On automatic verification of self-stabilizing population protocols Jun PangZhengqin LuoYuxin Deng Research Article 05 December 2008 Pages: 357 - 367
Compositional encoding for bounded model checking Jun SunYang LiuJing Sun Research Article 04 November 2008 Pages: 368 - 379
Automated verification of pointer programs in pointer logic Zhifang WangYiyun ChenBaojian Hua Research Article 05 November 2008 Pages: 380 - 397
Workflow-based semantics for peer-to-peer specifications Antonio BrogiRazvan Popescu Research Article 05 December 2008 Pages: 398 - 412
A Petri net-based approach for supporting aspect-oriented modeling Lianwei GuanXingyu LiJian Lu Research Article 05 December 2008 Pages: 413 - 423
Style transformation in natural languages Yue HuXiaoyu GaoQingshi Gao Research Article 04 November 2008 Pages: 424 - 430
An improved algorithm for gray image representation using non-symmetry and anti-packing model with triangles and rectangles Yunping ZhengChuanbo ChenMudar Sarem Research Article 04 November 2008 Pages: 431 - 437
A robust localization algorithm in wireless sensor networks Xin LiBei HuaYan Xiong Research Article 30 July 2008 Pages: 438 - 450
Types, structures and theories in NKI Xiaoru ZhangZaiyue ZhangYuefei Sui Research Article 04 November 2008 Pages: 451 - 459