The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 02 - Feb. (vol. 40)
ISSN: 0098-5589

Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis (Abstract)

Yulei Sui , Program. Language & Compilers Group, Univ. of New South Wales, Sydney, NSW, Australia
Ding Ye , Program. Language & Compilers Group, Univ. of New South Wales, Sydney, NSW, Australia
Jingling Xue , Program. Language & Compilers Group, Univ. of New South Wales, Sydney, NSW, Australia
pp. 107-122

GossipKit: A Unified ComponentFramework for Gossip (Abstract)

Francois Taiani , IRISA, Univ. of Rennes 1, Rennes, France
Shen Lin , SAP Labs., China
Gordon S. Blair , Univ. of Lancaster, Lancaster, UK
pp. 123-136

Learning Assumptions for CompositionalVerification of Timed Systems (Abstract)

Shang-Wei Lin , Temasek Labs., Nat. Univ. of Singapore, Singapore, Singapore
Etienne Andre , Lab. d'Inf. de Paris-Nord (LIPN), Univ. Paris 13, Villetaneuse, France
Yang Liu , Sch. of Comput. Eng., Nanyang Technol. Univ., Singapore, Singapore
Jun Sun , Singapore Univ. of Technol. & Design, Singapore, Singapore
Jin Song Dong , Comput. Sci. Dept., Nat. Univ. of Singapore, Singapore, Singapore
pp. 137-153

Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes (Abstract)

Michael A. Schumann , KEYW Corp., Hanover, MD, USA
Doron Drusinsky , Dept. of Comput. Sci., Naval Postgrad. Sch., Monterey, CA, USA
James B. Michael , Depts. of Comput. Sci. & Electr. & Comput. Eng., Naval Postgrad. Sch., Arlington, VA, USA
Duminda Wijesekera , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
pp. 154-166

Multi-Objective Quality-Driven Service Selection—A Fully Polynomial Time Approximation Scheme (Abstract)

Immanuel Trummer , Artificial Intell. Lab., Ecole Polytech. Fed. de Lausanne, Lausanne, Switzerland
Boi Faltings , Artificial Intell. Lab., Ecole Polytech. Fed. de Lausanne, Lausanne, Switzerland
Walter Binder , Fac. of Inf., Univ. of Lugano, Lugano, Switzerland
pp. 167-191

Quality-Aware Service Selection for Service-Based Systems Based on Iterative Multi-Attribute Combinatorial Auction (Abstract)

Qiang He , Sch. of Comput. Sci. & Technol., Huazhong Univ. of Sci. & Technol., Wuhan, China
Jun Yan , Sch. of Inf. Syst. & Technol., Univ. of Wollongong, Wollongong, NSW, Australia
Hai Jin , Sch. of Comput. Sci. & Technol., Huazhong Univ. of Sci. & Technol., Wuhan, China
Yun Yang , Sch. of Comput. Sci. & Technol., Anhui Univ., Hefei, China
pp. 192-215
100 ms
(Ver )