Table of Contents

• Wireless Computing, Networking and SensingH. T. Kung. 1
• Virtual Spaces: From the Past to the FutureShi-Kuo Chang. 2
• Web Services Reliability PatternsIngrid Buckley, Eduardo B. Fernández, Gustavo Rossi, Seyed Masoud Sadjadi. 4-9
• Consistency in Self-Reconfiguration of Self-Healing SystemsMichael E. Shin, Kiran Gopala Reddy Sunanda. 10-15
• Task Decomposition for Adaptive Data Staging in Workflows for Distributed EnvironmentsOnyeka Ezenwoye, Balaji Viswanathan, Seyed Masoud Sadjadi, Liana Fong, Gargi Dasgupta, Selim Kalayci. 16-19
• A Novel Hybrid Search Algorithm for Feature SelectionPengpeng Lin, Huanjing Wang, Taghi M. Khoshgoftaar. 81-86
• Improving Text Document Clustering by Exploiting Open Web DirectoryGaurav Ruhela, P. Krishna Reddy. 87-92
• Automated Nursing Knowledge Management Using IndexingShihong Huang, Sucharita Chinchanikar, Abhijit S. Pandya, Sam Hsu, Marilyn Parker. 93-96
• Classifying Web Robots by K-means ClusteringDerek Doran, Swapna S. Gokhale. 97-102
• Systematic Risk Assessment and Cost Estimation for Software ProblemsJerry Gao, Maulik Shah, Mihir Shah, Devarshi Vyas, Pushkala Pattabhiraman, Kamini Dandapani, Emese Bari. 103-109
• Improving Negotiations through Fuzzy Cognitive MapsSérgio Assis Rodrigues, Tiago Santos da Silva, Jano Moreira de Souza. 110-115
• Value-Based Software Quality ModelingNaeem Seliya, Taghi M. Khoshgoftaar. 116-121
• Predicting Maintainability expressed as Change Impact: A Machine-learning-based ApproachHakim Lounis, M. K. Abdi, Houari A. Sahraoui. 122-128
• Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSSSyed Nadeem Ahsan, Javed Ferzund, Franz Wotawa. 129-134
• An Architecture-based Evolution Management Method for Software Product LineXin Peng, Liwei Shen, Wenyun Zhao. 135-140
• Towards Design and Architectural Evaluation of Product Variants: A Case Study on an Open Source Software SystemMuhammad Irfan Ullah, Günther Ruhe, Vahid Garousi. 141-146
• Decision Support System Environment for Software Architecture Style Selection (DESAS v1.0)Shahrouz Moaven, Hamed Ahmadi, Jafar Habibi, Ali Kamandi. 147-151
• Towards Architecture-centric Collaborative Software DevelopmentYanchun Sun, Hui Song, Wenpin Jiao. 152-156
• Analysis of Agent Oriented Software Engineering Methodologies for Social Causal ModelsMichele Atkinson, Sheryl Duggins. 157-163
• Realization of Semantic Search Using Concept Learning and Document Annotation AgentsBehrouz H. Far, Cheng Zhong, Zilan (Nancy) Yang, Mohsen Afsharchi. 164-169
• Agent-based Simulation Model for the Evolution Process of Open Source SoftwareTaemin Seo, Heesang Lee. 170-177
• Towards Merging Goal Models of Networked SoftwareZaiwen Feng, Keqing He, Rong Peng, Jian Wang, Yutao Ma. 178-184
• Comparison of Some Single-agent and Multi-agent Information Filtering Systems on a Benchmark Text Data SetSnehasis Mukhopadhyay, Shengquan Peng, Rajeev R. Raje, Mathew J. Palakal, Javed Mostafa. 185-188
• Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling ApproachLily Chang, Xudong He. 189-193
• A Multi-agent Debugging Extension ArchitectureZiad Al-Sharif, Clinton Jeffery. 194-199
• A Recognition-primed Architecture for Human-centric Multi-agent SystemsXiaocong Fan. 200-205
• Using Knowledge Objects to Exchange Knowledge in a MAS PlatformAna Paula Lemke, Marcelo Blois Ribeiro. 206-211
• JAAF: A Framework to Implement Self-adaptive AgentsBaldoino F. dos S. Neto, Andrew Diniz da Costa, Manoel T. de A. Netto, Viviane Torres da Silva, Carlos José Pereira de Lucena. 212-217
• An Agent-based Centralized e-Marketplace in a Virtual EnvironmentIngo Seidel, Markus Gärtner, Josef Froschauer, Helmut Berger, Dieter Merkl. 218-221
• Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability ConstraintsThomas Moser, Richard Mordinyi, Wikan Danar Sunindyo, Stefan Biffl. 222-227
• Ontology Mapping Representations: A Pragmatic EvaluationHendrik Thomas, Declan O Sullivan, Rob Brennan. 228-232
• Bridging Semantic Gaps Between Stakeholders in the Production Automation Domain with Ontology AreasStefan Biffl, Wikan Danar Sunindyo, Thomas Moser. 233-239
• LD2SD: Linked Data Driven Software DevelopmentAftab Iqbal, Oana Ureche, Michael Hausenblas, Giovanni Tummarello. 240-245
• Improving Searchability of a Music Digital Library with Semantic Web TechnologiesPaloma de Juan, Carlos Angel Iglesias. 246-251
• A Guideline Engine For Knowledge Management in Clinical Decision Support Systems (CDSSs)Michele Ceccarelli, Alessandro De Stasio, Antonio Donatiello, Dante Vitale. 252-257
• Ontology-based Semantic Annotations of Medical ArticlesJihen Majdoubi, Mohamed Tmar, Faïez Gargouri. 258-261
• Automating Business Intelligence Recovery from a Web-based SystemJian Kang, Jianzhi Li, Jianchu Huang, Yingchun Tian, Hongji Yang. 262-267
• Automatic Class Matching to Compare Extracted Class Diagrams: Approach and Case StudyYan Liang, Nicholas A. Kraft, Randy K. Smith. 268-273
• Modeling and Verification of Automatic Multi-business TransactionsMin Yuan, Zhiqiu Huang, Jian Zhao, Xiang Li. 274-279
• An Adaptive Management Framework for Service Brokers in Service-oriented ArchitectureWei-Tek Tsai, Tszyan Chow, Yinong Chen, Xiao Wei. 280-285
• Requirements Discovery Based on RGPS Using Evolutionary AlgorithmTao Peng, Bing Li, Weifeng Pan, Zaiwen Feng. 286-290
• Mediation Based Variability Modeling for Service Oriented Software Product LinesMohammad Abu-Matar. 291-294
• Pedagogy-oriented Software Modeling and Simulation of Component-based Physical SystemsDan Tappan. 295-300
• An Academia-Industry Collaborative Teaching and Learning Model for Software Engineering EducationHuilin Ye. 301-305
• Data Flow Analysis and Testing for Web Service Compositions Based on WS-BPELChien-Hung Liu, Shu-Ling Chen. 306-311
• Knowledge-based Software Test GenerationValeh H. Nasser, Weichang Du, Dawn MacIsaac. 312-317
• Some Experiments on Test Case TracebailityMacario Polo, Beatriz Pérez, Pedro Reales. 318-321
• Business Modeling for Service Engineering: Toward an integrated Procedure ModelGregor Scheithauer, Stefan Augustin, Guido Wirtz. 322-327
• A Systematic SOA-based Architecture ProcessJose Jorge Lima Dias Junior, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira. 328-333
• Research and Implementation of Service-oriented Architecture Supporting Locationbased Services on Sensor NetworksBin-Yih Liao, Wen-Shyang Huang, Jeng-Shyang Pan, Hong-Chi Wu, Yuh-Ming Cheng, Jen-Kuin Lee, Bo-Sian Wang, E-Liang Chen, Mong-Fong Horng. 334-337
• Service Creation and Composition for Realization On Service-oriented ArchitectureChi-Lu Yang, Yeim-Kuan Chang, Chih-Ping Chu. 338-343
• An Extendible Translation of BPEL to a Machine-verifiable ModelJohn C. Sloan, Taghi M. Khoshgoftaar, Augusto Varas. 344-349
• Generating Test Cases of Composite Services Based on OWL-S and EH-CPNBixin Li, Ju Cai, Dong Qiu, Shunhui Ji, Yuting Jiang. 350-355
• User Perceived Response-time Optimization Method for Composite Web ServicesJunfeng Zhao, Yasha Wang, Bing Xie. 356-363
• Dynamic Service Composition for Virtual UPnP Device CreationSheng-Tzong Cheng, Chih-Lun Chou, Jiashing Shih, Mingzoo Wu. 364-369
• Using Service-oriented Architectures for Socio-Cultural AnalysisDavid Garlan, Kathleen M. Carley, Bradley R. Schmerl, Michael W. Bigrigg, Orieta Celiku. 370-375
• A Conceptual Model for Comprehension of Object-oriented Interactive SystemsIzuru Kume, Etsuya Shibayama. 376-381
• Arabic LispHanan Elazhary. 382-385
• The Use of Reading Technique and Visualization for Program UnderstandingDaniel Porto, Manoel G. Mendonca, Sandra Fabbri. 386-391
• Language Support for Event-based DebuggingZiad Al-Sharif, Clinton Jeffery. 392-399
• Pie Tree VisualizationMireille Samia, Michael Leuschel. 400-405
• Formal Verification of Scalable NonZero IndicatorsShao Jie Zhang, Yang Liu, Jun Sun 0001, Jin Song Dong, Wei Chen, Yanhong A. Liu. 406-411
• Detecting Defects with an Interactive Code Review Tool Based on Visualisation and Machine LearningStefan Axelsson, Dejan Baca, Robert Feldt, Darius Sidlauskas, Denis Kacan. 412-417
• Dynamic Test Profiles in Adaptive Random Testing: A Case StudyHuai Liu, Fei-Ching Kuo, Tsong Yueh Chen. 418-421
• A Novel Method of Mutation Clustering Based on Domain AnalysisChangbin Ji, Zhenyu Chen, Baowen Xu, Zhihong Zhao. 422-425
• Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time SystemsCésar Andrés, Mercedes G. Merayo, Manuel Núñez. 426-431
• DeLLIS: A Data Mining Process for Fault LocalizationPeggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux. 432-437
• Extending AOP to Support Broad Runtime Monitoring NeedsAmjad Nusayr, Jonathan Cook. 438-441
• Clustering of Defect Reports Using Graph Partitioning AlgorithmsVasile Rus, Xiaofei Nan, Sajjan G. Shiva, Yixin Chen. 442-445
• Documenting Quality Attributes of Software ComponentsWenhui Zhu, Yanchun Sun, Gang Huang, Hong Mei. 446-449
• Taming Inconsistency in Value-based Software DevelopmentDu Zhang. 450-455
• WSTester: Testing Web Service for Behavior ConformanceBixin Li, Lili Yang, Shunhui Ji, Dong Qiu, Xufang Gong. 456-459
• Robustness Verification Challenges in Automotive Telematics SoftwareAli Shahrokni, Robert Feldt, Fredrik Petterson, Anders Back. 460-465
• A 2D-barcode Based Mobile Advertising SolutionJerry Zeyu Gao, Hema Veeraragavathatham, Shailashree Savanur, Jinchun Xia. 466-472
• Long-term Prediction of Wireless Network TrafficZhiwei Xu, Zhou Zhou, Weibiao Wu. 473-479
• Resource Allocation for a Modular Software SystemLance Fiondella, Swapna S. Gokhale. 480-486
• Enhancing Property Specification Tools With Validation TechniquesSalamah Salamah, Matthew Del Buono, Eric Baily, Sarah Printy, Derek Ferris, Laurel Christian. 487-492
• Supporting Good Decision Making at Early Stage of Software DesignHung-Fu Chang, Stephen C. Y. Lu. 493-498
• A Language for Modeling Software Development Life CyclesErnest Cachia, Mark Micallef. 499-504
• Weaving Process Patterns into Software Process ModelsXiao Yang He, Ya-Sha Wang, Jin-gang Guo, Wu Zhou, Jia-kuan Ma. 505-508
• Assessing Workflow Ability of ERP and WfM SystemsLerina Aversano, Roberto Intonti, Maria Tortorella. 509-513
• Mining Objective Process Metrics from Repository DataMichael VanHilst, Shihong Huang. 514-519
• Collaborative Development of System Architecture - a Tool for Coping with InconsistencyPeter Henderson, Matthew J. Henderson. 520-525
• BITS: Issue Tracking and Project Management Tool in Healthcare Software DevelopmentAyse Tosun, Ayse Basar Bener, Ekrem Kocaguneli. 526-529
• Privacy-preserving Clustering of Data StreamsChing-Ming Chao, Chih-Chin Shen. 530-535
• FiGD: An Open Source Intellectual Property Violation DetectorCarson Brown, David Barrera, Dwight Deugo. 536-541
• Integrating Privacy Requirements into Security Requirements EngineeringSaeed Abu-Nimeh, Seiya Miyazaki, Nancy R. Mead. 542-547
• iPass: An Integrated Framework for Educating, Monitoring and Enforcing Password Policies for Online ServicesDhananjay Kulkarni, Diana Ciric, Fernanda Zulkarnain. 548-551
• Improving Natural Language Specifications with OntologiesSven J. Korner, Torben Brumm. 552-557
• A Knowledge-based Retrieval ModelFabio Silva, Rosario Girardi, Lucas Drumond. 558-563
• TRIple Content-based OnTology (TRICOt) for XML DisseminationMirella Moura Moro, Deise de Brum Saccol, Renata de Matos Galante. 564-568
• An Ontology-based Approach to Portable Embedded System DevelopmentFeng Chen, Hong Zhou, Jianzhi Li, Ruimin Liu, Hongji Yang, Han Li, He Guo, Yuxin Wang. 569-574
• An Integrated Ontology Framework for Health Information ExchangeS. Demurjian, R. Saripalle, S. Berhe. 575-580
• Modeling User Interpersonal Stances in Affective Dialogues with an ECANicole Novielli, Enrica Gentile. 581-586
• Capturing Users Preferences and Intentions in a Semantic Search SystemCaio Stein D Agostini, Renato Fileto. 587-591
• Toward Developing Knowledge Representation in Emergency Medical Assistance through a Ontology-based Semantic Cache ModelHeloise Manica, Cristiano C. da Rocha, Jose Leomar Todesco, Mario A. R. Dantas, Michael A. Bauer. 592-596
• Specification of a Component-based Domotic System to Support User-defined ScenariosFady Hamoui, Marianne Huchard, Christelle Urtado, Sylvain Vauttier. 597-602
• Towards Mobility Support in Smart EnvironmentsDaniel Retkowitz, Ibrahim Armac, Manfred Nagl. 603-608
• A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor NetworksHossein Momeni, Vahid Rafe, Mohsen Sharifi, Adel Torkaman Rahmani. 609-612
• Another New Criterion to Improve the Interaction Diagrams QualityLilia Grati, Mohamed Tmar, Faïez Gargouri. 613-618
• Software Project Effort Estimation Non Lineal Mathematical ModelsPablo R. Soria, Borja Martin, Marian Fernandez de Sevilla, Maria J. Dominguez-Alda, Miguel A. Herranz. 619-624
• Software Estimation: Universal Models or Multiple Models?Alain Abran, Juan Jose Cuadrado-Gallego. 625-630
• An Empirical Study of the Feedback of the In-process Measurement in a Japanese Consortium-type Software ProjectYoshiki Mitani, Tomoko Matsumura, Katsuro Inoue, Mike Barker, Akito Monden, Ken-ichi Matsumoto. 631-636
• Prest: An Intelligent Software Metrics Extraction, Analysis and Defect Prediction ToolEkrem Kocaguneli, Ayse Tosun, Ayse Bener, Burak Turhan, Bora Caglayan. 637-642
• Accelerated Risk Management using Statistical TriggersRose Williams, Krishna Ratakonda. 643-648
• A Layered Approach for Planning Releases under Uncertain CapacitiesJim McElroy, Günther Ruhe. 649-654
• PP-HAS: A Task Priority Based Preemptive Human Resource Scheduling MethodLizi Xie, Qing Wang, Junchao Xiao, Yongji Wang, Ye Yang. 655-660
• A Real Execution of a Software Process Improvement: An Opportunity to Execute a Combination of ApproachesAdriano Bessa Albuquerque, Ana Regina Rocha. 661-665
• Establish Decision Making Process for Selecting Outsourcing CompanyAkihiro Hayshi. 666-671
• From Strategy to Solution: A Lightweight Semi-prescriptive Approach for Software Development Lifecycle with Outsourcing SupportNelio Alves, Sergio Paim, Alexandre Cardoso, Edgard Lamounier Jr.. 672-675
• A Model Driven Method for Data WarehouseLeopoldo Zepeda, Elizabeth Ceceña, Jorge Rivas, Javier Cano, Nelly Condori-Fernández, Matilde Celma. 676-681
• Analyzing the Software Development Process with SyQL and LagreinMirco Bianco, Alberto Sillitti, Giancarlo Succi. 682-687
• Performance Analysis of a Deductive Database with a Semantic Web Reasoning Engine: ConceptBase and RacerSimone A. Ludwig, Craig Thompson, Kristofor Amundson. 688-693
• Object Specification Language for Graph Based Conceptual level Multidimensional Data ModelAnirban Sarkar, Sankhayan Choudhury, Nabendu Chaki, Swapan Bhattacharya. 694-607
• A Framework for Trajectory Data Preprocessing for Data MiningLuis Otávio Alvares, Gabriel Oliveira, Carlos A. Heuser, Vania Bogorny. 698-702
• A Payload Optimization Technique for Multimedia Visual CryptographyeMoussa H. Abdallah, Rola I. Al-Khalid, Randa A. Al-Dallah. 703-708
• Knowledge Management Framework for Conference Video-recording RetrievalMaria Sokhn, Elena Mugellini, Omar Abou Khaled. 709-714
• Separating The Scattered Concerns: A Graph Based ModelDipankar Majumdar, Swapan Bhattacharya. 715-720
• Early Analysis of Modularity in Software Product LinesJosé María Conejero, Juan Hernández, Elena Jurado, Pedro J. Clemente, Roberto Rodríguez. 721-736
• MD-JPA Profile: A Model Driven Language for Java PersistenceAlexandre Torres, Renata de Matos Galante, Marcelo Soares Pimenta. 727-732
• A Pragmatic UML-based Meta Model for Object-oriented Code GenerationTobias Haubold, Georg Beier, Wolfgang Golubski. 733-738
• An Ontology-based Model Driven Approach for a Music Learning SystemYingchun Tian, Feng Chen, Hongji Yang, Leigh Landy. 739-744