Software Engineering

Authors and titles for July 2009

[1] arXiv:0907.0404 [pdf, other]

Title: Agent based Model for providing optimized, synchronized and failure free execution of workflow process

Sohail Safdar, Jamil Ahmad, Shaftab Ahmed, M. Tayyab Asghar, Saqib Saeed

Comments: This paper was published in the proceedings of 4th International Conference on New Exploratory Technology (NEXT 2007) Seoul, Korea 25-27 October 2007

Subjects: Software Engineering (cs.SE)

[2] arXiv:0907.1238 [pdf, other]

Title: ChOrDa: a methodology for the modeling of business processes with BPMN

Matteo Buferli, Matteo Magnani, Danilo Montesi

Comments: 11 pages

Subjects: Software Engineering (cs.SE)

[3] arXiv:0907.1978 [pdf, other]

Title: BPDMN: A Conservative Extension of BPMN with Enhanced Data Representation Capabilities

Matteo Magnani, Danilo Montesi

Comments: 17 pages

Subjects: Software Engineering (cs.SE); Databases (cs.DB)

[4] arXiv:0907.2039 [pdf, other]

Title: Refining interfaces: the case of the B method

David Deharbe, Bruno E.G. Gomes, Anamaria M. Moreira

Comments: 18 pages, submitted to ICFEM 2009

Subjects: Software Engineering (cs.SE)

[5] arXiv:0907.2072 [pdf, other]

Title: SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Lucas Cordeiro, Bernd Fischer, Joao Marques-Silva

Comments: 12 pages

Subjects: Software Engineering (cs.SE)

[6] arXiv:0907.3583 [pdf, other]

Title: Web of Lossy Adapters for Interface Interoperability: An Algorithm and NP-completeness of Minimization

Yoo Chung, Dongman Lee

Comments: 7 pages

Journal-ref: Proc. of ICSESS 2010

Subjects: Software Engineering (cs.SE); Data Structures and Algorithms (cs.DS)

[7] arXiv:0907.3983 [pdf, other]

Title: Service-oriented high level architecture

Wenguang Wang, Wenguang Yu, Qun Li, Weiping Wang, Xichun Liu (College of Information System and Management, National University of Defense Technology, Changsha, China)

Comments: 12 pages, 3 figures, 2 tables, Proceedings of 2008 European Simulation Interoperability Workshop, 08E-SIW-022

Subjects: Software Engineering (cs.SE)

[8] arXiv:0907.2485 (cross-list from cs.NI) [pdf, other]

Title: Community Cloud Computing

Alexandros Marinos, Gerard Briscoe

Comments: 11 Pages, 5 figures

Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[9] arXiv:0907.2640 (cross-list from cs.PL) [pdf, other]

Title: Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY

Serguei A. Mokhov

Comments: 222 pages, 82 figures, 2 tables, index, appendices; Master's thesis, October 2005. Also appears at this http URL and at this http URL ; this revision fixes empty this http URL example

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[10] arXiv:0907.2974 (cross-list from cs.DC) [pdf, other]

Title: Service-Oriented Architectures and Web Services: Course Tutorial and Lab Notes

Serguei A. Mokhov, Shahriar Rostami, Hammad Ali, Min Chen, Yuhong Yan

Comments: v19 (Winter 2015): 55 pages; TOC; index; course lab/tutorial notes (SOEN487); NOTE: a source of these notes is also maintained on SourceForge

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[11] arXiv:0907.3085 (cross-list from cs.LO) [pdf, other]

Title: A Metric Encoding for Bounded Model Checking (extended version)

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[12] arXiv:0907.4622 (cross-list from cs.DC) [pdf, other]

Title: Aneka: A Software Platform for .NET-based Cloud Computing

Christian Vecchiola, Xingchen Chu, Rajkumar Buyya

Comments: 30 pages, 10 figures

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Engineering, Finance, and Science (cs.CE); Networking and Internet Architecture (cs.NI); Operating Systems (cs.OS); Programming Languages (cs.PL); Software Engineering (cs.SE)

[13] arXiv:0907.5527 (cross-list from cs.LO) [pdf, other]

Title: Proof Theory at Work: Complexity Analysis of Term Rewrite Systems

Georg Moser

Comments: Cumulative Habilitation Thesis, submitted to the University of Innsbruck

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Software Engineering (cs.SE)