dblp: SEKE 2005 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

17th SEKE 2005: Taipei, Taiwan

• 

• 

• 

• 

• 
  jump to

  • Keynote Papers
  • Session C4: E-Business: Management and Application
  • Session BF1: Aspect-Oriented Design & Software Development
  • Session CF2: Process
  • Session CF3: Web Technology
  • Session CF4: Software Quality
  • Session AS1: Requirement
  • Session AS2: Security & Parallel Computing
  • Session AS3: Specification
  • Session AS4: Techniques & Algorithms I
  • Session AS5: Architecture II
  • Session CS5: Panel on Embedded and Ubiquitous Software Engineering (EUSE)

• 

• > Home > Conferences and Workshops > SEKE

SPARQL queries

⚠

Please note that none of the items listed on this page have a DOI stored with their dblp record. Therefore, DOI-based queries won't return any results.

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

• 
  William C. Chu, Natalia Juristo Juzgado, W. Eric Wong:
  Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005. 2005, ISBN 1-891706-16-0

Keynote Papers

• 
  • 
  • 
  • 
  • 
    Jyh-sheng Ke:
    Software Industry in Taiwan. SEKE 2005: 1
• 
  • 
  • 
  • 
  • 
    Christopher Short:
    Software Engineering Strategies for Seamless Computing. SEKE 2005: 2
• 
  • 
  • 
  • 
  • 
    Shi-Kuo Chang:
    A Chronobot for Time and Knowledge Exchange and Management. SEKE 2005: 3-10
• 
  • 
  • 
  • 
  • 
    David M. Weiss:
    Software Product Line Engineering. SEKE 2005: 11

Session A4: Chronobot for Time and Knowledge Management

• 
  • 
  • 
  • 
  • 
    En-Yu Shih, Wen-Hsi Yeh:
    The Implementation of Chronobot Engine. SEKE 2005: 12-15
• 
  • 
  • 
  • 
  • 
    Minxin Shen:
    The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) System. SEKE 2005: 16-18
• 
  • 
  • 
  • 
  • 
    Raymund J. Lin:
    A Post-auction Negotiation Mechanism for Electronic Marketplace. SEKE 2005: 19-24
• 
  • 
  • 
  • 
  • 
    Wei-Tek Hsu, Yu-Lin Chou, Jin-Chin Chung, Yin-Pin Yang:
    Cricketbot -- A Configurable Human Interface Software Robot. SEKE 2005: 25-28
• 
  • 
  • 
  • 
  • 
    Xin Li, Chieh-Chih Chang, Shi-Kuo Chang:
    Face Alive Icons. SEKE 2005: 29-36
• 
  • 
  • 
  • 
  • 
    Yun-Shu Chiou:
    Knowledge Fusion Based Object Detection In Pulmonary Radiology. SEKE 2005: 37-42

Session B4: Agent-Oriented Software Development Methodology

• 
  • 
  • 
  • 
  • 
    Claudia P. Ayala, Carlos Cares, Juan Pablo Carvallo, Gemma Grau, Mariela Haya, Guadalupe Salazar, Xavier Franch, Enric Mayol, Carme Quer:
    A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages. SEKE 2005: 43-50
• 
  • 
  • 
  • 
  • 
    Ghassan Beydoun, Cesar Gonzalez-Perez, Graham Low, Brian Henderson-Sellers:
    Towards Method Engineering for Multi-Agent Systems: A preliminary validation of a Generic MAS Metamodel. SEKE 2005: 51-56
• 
  • 
  • 
  • 
  • 
    Zhenyan Ji, Malmberg Ake:
    Spontaneous Agent Networking. SEKE 2005: 57-61
• 
  • 
  • 
  • 
  • 
    Liang Xiao, Des Greer:
    The Adaptive Agent Model: Software Adaptivity through Dynamic Agents and XMLbased Business Rules. SEKE 2005: 62-67
• 
  • 
  • 
  • 
  • 
    Richard Tynan, Antonio G. Ruzzelli, Gregory M. P. O'Hare:
    A Methodology for the Development of Multi-Agent Systems on Wireless Sensor Networks. SEKE 2005: 68-75

Session C4: E-Business: Management and Application

• 
  • 
  • 
  • 
  • 
    Dah-Chuan Gong:
    A Case Study on the BPR-before-IT of Food Company in Taiwan. SEKE 2005: 77-81
• 
  • 
  • 
  • 
  • 
    Chih-Cheng Lien, Huan-Lin Tsai:
    A Web Pages Recommender with Bayesian Networks. SEKE 2005: 82-87
• 
  • 
  • 
  • 
  • 
    Yu Lei, Munindar P. Singh:
    An Evaluation of E-Business Metamodels. SEKE 2005: 88-93
• 
  • 
  • 
  • 
  • 
    Wun-Hwa Chen, Jen-Ying Shih, Ming-Jyh Hsieh:
    Creating Virtual Collaborative Team Through the Construction of Expertise Spaces. SEKE 2005: 94-98
• 
  • 
  • 
  • 
  • 
    Jwe Son Kuo, Tsong-Wuu Lin, Chien-Hsiang Liu:
    Smart cards for the Taiwan NHI. SEKE 2005: 99-104
• 
  • 
  • 
  • 
  • 
    Ching-Han Hua, Pei-Min Chen:
    Yet Another Purchasing Specification Construction in E-Business. SEKE 2005: 105-108

Session B5: Reuse

• 
  • 
  • 
  • 
  • 
    Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarzabek:
    An Empirical Study on Limits of Clone Unification Using Generics. SEKE 2005: 109-114
• 
  • 
  • 
  • 
  • 
    Frank McCarey, Mel Ó Cinnéide, Nicholas Kushmerick:
    Knowledge Reuse for Software Reuse. SEKE 2005: 115-120
• 
  • 
  • 
  • 
  • 
    Ruzhi Xu, Peiyao Nie, Ying Sai, Yun-Ting Lee:
    Reuse-based Software Process Improvement and Contro. SEKE 2005: 121-126
• 
  • 
  • 
  • 
  • 
    Haitham S. Hamza, Mohamed E. Fayad:
    Stable Atomic Knowledge Pattern (SAK) - Enabling Inter-Domain Knowledge Reuse. SEKE 2005: 127-132

Session C5: Ontologies for Software Engineering

• 
  • 
  • 
  • 
  • 
    Haitham S. Hamza:
    A Pattern-based Appraoch for Developing Business Object Models with Ontologies. SEKE 2005: 133-138
• 
  • 
  • 
  • 
  • 
    Olavo Mendes, Alain Abran:
    Issues in the Development of an Ontology for a Emerging Engineering Discipline. SEKE 2005: 139-144
• 
  • 
  • 
  • 
  • 
    Miguel-Ángel Sicilia, Juan J. Cuadrado, Daniel Rodríguez:
    Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning Technologies. SEKE 2005: 145-150
• 
  • 
  • 
  • 
  • 
    Ricardo de Almeida Falbo, Fabiano Borges Ruy, Rodrigo Dal Moro:
    Using Ontologies to Add Semantics to a Software Engineering Environment. SEKE 2005: 151-156

Session BF1: Aspect-Oriented Design & Software Development

• 
  • 
  • 
  • 
  • 
    Tegegne Marew, Jungyoon Kim, Doo-Hwan Bae:
    Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development. SEKE 2005: 152-157
• 
  • 
  • 
  • 
  • 
    Kendra M. L. Cooper, Lirong Dai, W. Eric Wong:
    Modeling Reusable Security Aspects for Software Architectures: a Pattern Driven Approach. SEKE 2005: 158-162
• 
  • 
  • 
  • 
  • 
    Ik-Joo Han, Doo-Hwan Bae:
    Dynamically Evolvable Composition of Aspects Based On Relation Model. SEKE 2005: 163-168
• 
  • 
  • 
  • 
  • 
    Huiqun Yu, Dongmei Liu, Li Yang, Xudong He:
    Formal Aspect-Oriented Modeling and Analysis by Aspect. SEKE 2005: 169-174
• 
  • 
  • 
  • 
  • 
    Kai-Yi Chin, Chih-Wei Lin, Zeng-Wei Hong, Jim-Min Lin, Arthur J. Lin:
    Architecture for An Internet Marketing Multi-Agent System with Mediate Personal Agent. SEKE 2005: 175-180

Session CF1: Software Agents and Design Patterns

• 
  • 
  • 
  • 
  • 
    Fong-Hao Liu, Shiang-Fu Luo:
    Constructing Software System Based On Software Pattern and Architecture. SEKE 2005: 181-186
• 
  • 
  • 
  • 
  • 
    Jong-Yih Kuo, Nien-Lin Hsueh:
    Incorporating Fuzzy Logic in Ontology-Based Agent System Design. SEKE 2005: 187-192
• 
  • 
  • 
  • 
  • 
    Nien-Lin Hsueh, Peng-Hua Chu, Jong-Yih Kuo:
    Verification of Design Patterns with Object-Oriented Quality Models. SEKE 2005: 193-198

Session BF2: UML

• 
  • 
  • 
  • 
  • 
    Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate:
    Formal Verification of Transactional Systems Based on UML Specifications. SEKE 2005: 199-204
• 
  • 
  • 
  • 
  • 
    Aneesh Krishna, Aditya K. Ghose:
    Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram. SEKE 2005: 205-210
• 
  • 
  • 
  • 
  • 
    Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani:
    An Object-Oriented Modeling Learning Support System With Inspection Comments. SEKE 2005: 211-216
• 
  • 
  • 
  • 
  • 
    Tong Gao, Kendra M. L. Cooper, Hui Ma, I-Ling Yen, Farokh B. Bastani:
    Toward a UML Profile to Support Component-Based Distributed Adaptive Systems. SEKE 2005: 217-222
• 
  • 
  • 
  • 
  • 
    Tatsuya Kinjo, Atsuo Hazeyama:
    An Object-Oriented Modeling Learning Support System With Inspection Comments. SEKE 2005: 223-228
• 
  • 
  • 
  • 
  • 
    Hertong Song, Chokchai Leangsuksun, Raja Nassar:
    OOMSE-An Object Oriented Markov Chain Specification and Evaluation Framework. SEKE 2005: 229-234

Session CF2: Process

• 
  • 
  • 
  • 
  • 
    Leonardo Pilatti, Rafael Prikladnicki, Jorge Luis Nicolas Audy:
    Global Software Development: Standardization of the Developing Phase based on the MSF Framework in a global CMM level 3 context. SEKE 2005: 235-240
• 
  • 
  • 
  • 
  • 
    Rédouane Lbath, Bernard Coulette, Xavier Crégut:
    A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes. SEKE 2005: 241-246
• 
  • 
  • 
  • 
  • 
    Mira Kajko-Mattsson, Anna Grimlund Glassbrook, Maria Nordin:
    Taxonomy of Predelivery/Prerelease Maintenance Activities. SEKE 2005: 247-252
• 
  • 
  • 
  • 
  • 
    Ricardo de Almeida Falbo, Juliana Pezzin, Mellyssa M. Schwambach:
    A Multi-Agent System for Knowledge Delivery in a Software Engineering Environment. SEKE 2005: 253-258
• 
  • 
  • 
  • 
  • 
    Gemma Grau, Xavier Franch, Enric Mayol, Claudia P. Ayala, Carlos Cares, Mariela Haya, Fredy Navarrete, Pere Botella, Carme Quer:
    RiSD: A Methodology for Building i-Strategic Dependency Models. SEKE 2005: 259-266

Session AF3: Specification

• 
  • 
  • 
  • 
  • 
    Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky:
    Generating Properties for Runtime Monitoring from Software Specification Patterns. SEKE 2005: 267-273
• 
  • 
  • 
  • 
  • 
    Jian Liu, Farokh B. Bastani, I-Ling Yen:
    A Formal Foundation of Code Pattern Based Development. SEKE 2005: 274-279
• 
  • 
  • 
  • 
  • 
    Hong Zhu:
    Formal Reasoning about Emergent Behaviours of Multi-Agent Systems. SEKE 2005: 280-285
• 
  • 
  • 
  • 
  • 
    Dorel Lucanu, Yuan-Fang Li, Jin Song Dong:
    Institution Morphisms for Relating OWL and Z. SEKE 2005: 286-291

Session BF3: Testing I

• 
  • 
  • 
  • 
  • 
    Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
    Adaptive Random Testing with Filtering: An Overhead Reduction Technique. SEKE 2005: 292-299
• 
  • 
  • 
  • 
  • 
    J. Jenny Li, W. Eric Wong, Xiao Ma, David M. Weiss:
    A Constraint Solver for Code-based Test Data Generation. SEKE 2005: 300-305
• 
  • 
  • 
  • 
  • 
    Tsong Yueh Chen, Fei-Ching Kuo, Zhi Quan Zhou:
    On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random Testing. SEKE 2005: 306-311
• 
  • 
  • 
  • 
  • 
    Luciano Petinati Ferreira, Silvia Regina Vergilio:
    TDSGen: An Environment Based on Hybrid Genetic Algorithms for Generation of Test Data. SEKE 2005: 312-317

Session CF3: Web Technology

• 
  • 
  • 
  • 
  • 
    Chaohong Zhou, Baowen Xu, Tianlin Zhou, Liang Shi:
    An Aspect Transformation Approach with Refactoring. SEKE 2005: 318-323
• 
  • 
  • 
  • 
  • 
    William C. Chu, Ching-Huey Wang:
    An XML-based Meta-model for PRocess and Agent-based Integrated Software Evolution environment (PRAISE). SEKE 2005: 324-329
• 
  • 
  • 
  • 
  • 
    I-Chen Wu, Jui-Yuan Su, Loon-Been Chen:
    On the Web Data Extraction Model. SEKE 2005: 330-335
• 
  • 
  • 
  • 
  • 
    Shaoyun Li, Feng Chen, Zhihong Liang, Hongji Yang:
    Using Feature-Oriented Analysis to Recover Legacy Software Design for Software Evolution. SEKE 2005: 336-341

Session AF4: Design

• 
  • 
  • 
  • 
  • 
    Débora Maria Barroso Paiva, Renata Pontin de Mattos Fortes:
    Design Rationale in Software Engineering: A Case Study. SEKE 2005: 342-347
• 
  • 
  • 
  • 
  • 
    Adrien Coyette, Jean Vanderdonckt, Stéphane Faulkner, Manuel Kolp:
    Generating Abstract User Interfaces from an Informal Design. SEKE 2005: 348-353
• 
  • 
  • 
  • 
  • 
    Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li:
    TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359
• 
  • 
  • 
  • 
  • 
    Deng-Jyi Chen, Ming-Jyh Tsai, Shang-Ting Yang:
    UI Design Pattern Generator for Pervasive Device. SEKE 2005: 360-365

Session BF4: Testing II

• 
  • 
  • 
  • 
  • 
    Dianxiang Xu, Weifeng Xu, Kendall E. Nygard:
    A State-Based Approach to Testing Aspect-Oriented Programs. SEKE 2005: 366-371
• 
  • 
  • 
  • 
  • 
    Alexander Felfernig, Sergiu Gordea:
    AI Technologies Supporting Effective Development Processes for Knowledge-based Recommender Applications. SEKE 2005: 372-379
• 
  • 
  • 
  • 
  • 
    Pedro de Alcântara dos Santos Neto, Rodolfo F. Resende, Clarindo Isaías Pereira da Silva e Pádua:
    System Testing Automation: A Developer Perspective. SEKE 2005: 380-385
• 
  • 
  • 
  • 
  • 
    Simone do Rócio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simão, Thiago Bliscosque Goncalves, Alexandre de Melo Lima, Alexandre Ceolin Hausen:
    ValiPar: A Testing Tool for Message-Passing Parallel Programs. SEKE 2005: 386-391

Session CF4: Software Quality

• 
  • 
  • 
  • 
  • 
    Mohammad Izadi, Ali Movaghar-Rahimabadi:
    An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. SEKE 2005: 392-395
• 
  • 
  • 
  • 
  • 
    Mahmood Niazi:
    An Empirical Study for the Improvement of Requirements Engineering Process. SEKE 2005: 396-399
• 
  • 
  • 
  • 
  • 
    Muhammad Ali Babar, Mahmood Niazi, D. Ross Jeffery:
    Assessing a Framework of Comparing Architecture Review Methods Using CMMI. SEKE 2005: 400-403
• 
  • 
  • 
  • 
  • 
    Pasquale Ardimento, Maria Teresa Baldassarre, Danilo Caivano, Giuseppe Visaggio:
    Decision Tables for Knowledge Acquisition during Goal Interpretation. SEKE 2005: 404-407
• 
  • 
  • 
  • 
  • 
    Yoshihide Ohgame, Tatsuya Kinjo, Atsuo Hazeyama:
    Inspection Support System for UML Diagram. SEKE 2005: 408-411

Session AF5: Architecture I

• 
  • 
  • 
  • 
  • 
    Yujian Fu, Zhijiang Dong, Xudong He:
    A Methodology of Automated Realization of a Software Architecture Design. SEKE 2005: 412-417
• 
  • 
  • 
  • 
  • 
    Chung-Horng Lung, Marzia Zaman:
    Application of Design Combinatorial Theory to Scenario-Based Software Architecture Analysis. SEKE 2005: 418-423
• 
  • 
  • 
  • 
  • 
    Mikkel Baun Kjærgaard:
    On Abstraction Levels for Software Architecture Viewpoints. SEKE 2005: 424-429
• 
  • 
  • 
  • 
  • 
    Atsuo Hazeyama:
    State of the Survey on Team-based Software Engineering Project Course. SEKE 2005: 430-435

Session BF5: Automated Software Analysis

• 
  • 
  • 
  • 
  • 
    João W. Cangussu, Richard M. Karcich:
    Using Dynamic Models for the Evaluation of Integration and System Testing. SEKE 2005: 436-441
• 
  • 
  • 
  • 
  • 
    Bow-Yaw Wang:
    Specification of an Infinite-State Local Model Checker in Rewriting Logic. SEKE 2005: 442-447
• 
  • 
  • 
  • 
  • 
    Farn Wang, Rong-Shiung Wu, Geng-Dian Huang:
    Verifying Timed and Linear Hybrid Rule-Systems with RED. SEKE 2005: 448-454

Session AS1: Requirement

• 
  • 
  • 
  • 
  • 
    Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir:
    Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. SEKE 2005: 455-460
• 
  • 
  • 
  • 
  • 
    Yih-Chang Chen:
    Empirical Modelling for Situated Requirements Engineering. SEKE 2005: 461-466
• 
  • 
  • 
  • 
  • 
    Paolo Avesani, Cinzia Bazzanella, Anna Perini, Angelo Susi:
    Exploiting Domain Knowledge in Requirements Prioritization. SEKE 2005: 467-472
• 
  • 
  • 
  • 
  • 
    Leandro Lopes, Jorge Luis Nicolas Audy:
    Impact of GSD in Requirements Specification - A Case Study. SEKE 2005: 473-478

Session BS1: Data and Knowledge Base

• 
  • 
  • 
  • 
  • 
    Frédéric Fürst, Francky Trichet:
    TooCoM: bridge the gap between Ontologies and Knowledge-Based Systems. SEKE 2005: 479-484
• 
  • 
  • 
  • 
  • 
    Mohib ur Rehman, Imran Ihsan, Mobin Uddin Ahmed, Muhammad Abdul Qadir, Nadeem Iftikhar:
    UREKA - Grid Enabled Educational Multimedia Database. SEKE 2005: 485-490
• 
  • 
  • 
  • 
  • 
    Masateru Tsunoda, Takeshi Kakimoto, Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto:
    Javawock: A Java Class Recommender System Based on Collaborative Filtering. SEKE 2005: 491-497
• 
  • 
  • 
  • 
  • 
    Jamel Feki, Jihen Majdoubi, Faïez Gargouri:
    A Two-Phase Approach for Multidimensional Schemes Integration. SEKE 2005: 498-503

Session CS1: Data and Text Mining

• 
  • 
  • 
  • 
  • 
    Ju-Yu Huang, Huey-Ming Lee, Chen-Liang Fang:
    A Chinese Text Mining Application: An Automatic Answer Reply to Customers' E-mail Queries Model. SEKE 2005: 504-507
• 
  • 
  • 
  • 
  • 
    Chien-Chung Chan, Zhicheng Su:
    From Data to Knowledge: an Integrated Rule-Based Data Mining System. SEKE 2005: 508-513
• 
  • 
  • 
  • 
  • 
    Yue-Shi Lee, Yu-Chieh Wu, Chia-Hui Chang:
    Integrating Web Information to Generate Chinese Video Summaries. SEKE 2005: 514-519
• 
  • 
  • 
  • 
  • 
    Lili He, Hongtao Bai, Jiachen Zhang, Chengquan Hu:
    Dynamic Integration Strategy for Mediation Framework. SEKE 2005: 520-524

Session AS2: Security & Parallel Computing

• 
  • 
  • 
  • 
  • 
    Li Yang, Raimund K. Ege:
    Dynamic Integration Strategy for Mediation Framework. SEKE 2005: 525-530
• 
  • 
  • 
  • 
  • 
    Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
    Formal Analysis of Workflow Systems with Security Considerations. SEKE 2005: 531-536
• 
  • 
  • 
  • 
  • 
    Duc-Duy Vo, Claude Petitpierre:
    A Deadlock Detector for Synchronous Java. SEKE 2005: 537-542
• 
  • 
  • 
  • 
  • 
    Ling-Hua Chang, Ernst L. Leiss:
    Compiler Techniques for Data Driven Languages with Superlinear Speed-up. SEKE 2005: 543-549

Session BS2: AI & Agent-based System

• 
  • 
  • 
  • 
  • 
    Chin-Jung Huang, Bing-Kun Chan:
    A Study of the Approximate Shortest Distance Route for the Construction Walk of Welding Robot. SEKE 2005: 550-555
• 
  • 
  • 
  • 
  • 
    Chin-Ming Hong, Chih-Ming Chen, Hung-Yu Chien:
    Learning Efficiency Improvement of Fuzzy CMAC by Aitken Acceleration Method. SEKE 2005: 556-595
• 
  • 
  • 
  • 
  • 
    Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clarke, Xudong He:
    Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. SEKE 2005: 560-565
• 
  • 
  • 
  • 
  • 
    Liang Xiao, Des Greer:
    Modelling Agent Knowledge with Business Rules. SEKE 2005: 566-571

Session CS2: Internet Web

• 
  • 
  • 
  • 
  • 
    Weigang Li, Man Qi Wu:
    Web Search Based on Ant Behavior: Approach and Implementation in Case of Interlegis. SEKE 2005: 572-577
• 
  • 
  • 
  • 
  • 
    Ying Guan, Aditya K. Ghose:
    Dealing with Web Service QoS factors using Constraint Hierarchy. SEKE 2005: 578-583
• 
  • 
  • 
  • 
  • 
    Wu Chou, Li Li, Feng Liu:
    Web Service for Communication Service Management. SEKE 2005: 584-589
• 
  • 
  • 
  • 
  • 
    Long Wang, Christoph Meinel:
    Recovering Individual Accessing Behaviour from Web Logs. SEKE 2005: 590-595

Session AS3: Specification

• 
  • 
  • 
  • 
  • 
    Pao-Ann Hsiung, Yen-Hung Lin:
    Model-based Verification of Safety-Critical Systems. SEKE 2005: 596-601
• 
  • 
  • 
  • 
  • 
    Anarosa Brandão, Viviane Torres da Silva, Carlos José Pereira de Lucena:
    Multi-Agent System Design Verification Using Knowledge-based Reasoning. SEKE 2005: 602-607
• 
  • 
  • 
  • 
  • 
    Kazuhiro Ogata, Kokichi Futatsugi:
    Proof Score Approach to Verification of Liveness Properties. SEKE 2005: 608-613
• 
  • 
  • 
  • 
  • 
    Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi:
    Provably Correct Translation from CafeOBJ into Java. SEKE 2005: 614-619

Session BS3: Service Oriented Computing

• 
  • 
  • 
  • 
  • 
    Zhuopeng Zhang, Ruimin Liu, Hongji Yang:
    Service Identification and Packaging in Service Oriented Reengineering. SEKE 2005: 620-625
• 
  • 
  • 
  • 
  • 
    Hai H. Wang, Jin Song Dong, Jing Sun:
    Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631
• 
  • 
  • 
  • 
  • 
    Mads Ingstrup, Klaus Marius Hansen:
    Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing. SEKE 2005: 632-638
• 
  • 
  • 
  • 
  • 
    Sheng-Yuan Yang, Pen-Chin Liao, Cheng-Seen Ho:
    An Ontology-Supported Case-Based Reasoning Technique for FAQ Proxy Service. SEKE 2005: 639-644

Session CS3: Component & Reuse

• 
  • 
  • 
  • 
  • 
    Lishan Hou, Zhi Jin:
    A Framework for Reusing and Composing Software Components on Web. SEKE 2005: 645-648
• 
  • 
  • 
  • 
  • 
    Vania Bogorny, Paulo Martins Engel, Luis Otávio Alvares:
    A Reuse-based Spatial Data Preparation Framework for Data Mining. SEKE 2005: 649-652
• 
  • 
  • 
  • 
  • 
    Radmila Juric, Stephen Williams, Peter Milligan:
    Experiences of Generating COTS Components when Automating Medicinal Product Evaluations. SEKE 2005: 653-656
• 
  • 
  • 
  • 
  • 
    Sana Ben Abdallah Ben Lamine, Lamia Labed Jilani, Henda Hajjami Ben Ghézala:
    Reuse: Case of a Software Cost Estimation Model for Product Line Engineering. SEKE 2005: 657-660
• 
  • 
  • 
  • 
  • 
    Huilin Ye, Afroza Sharmin:
    Modelling Feature Variability and Dependency in Two Views. SEKE 2005: 661-664

Session AS4: Techniques & Algorithms I

• 
  • 
  • 
  • 
  • 
    Noriko Hanakawa:
    A project growth model based on communication for software development. SEKE 2005: 665-670
• 
  • 
  • 
  • 
  • 
    Wu-Hong Chen, Jichiang Tsai, Di Tarn, Yen-Chian Chen:
    Implementation of a Remote Checkpointing System for Windows NT Applications. SEKE 2005: 671-676
• 
  • 
  • 
  • 
  • 
    David Benavides, Pablo Trinidad, Antonio Ruiz Cortés:
    Using Constraint Programming to Reason on Feature Models. SEKE 2005: 677-682
• 
  • 
  • 
  • 
  • 
    Ji-Woong Park, Joung-Joon Kim, Jae-Kwan Yun, Ki-Joon Han:
    Development of an Embedded Spatial MMDBMS for Spatial Mobile Devices. SEKE 2005: 683-688
• 
  • 
  • 
  • 
  • 
    Te-Wei Chiang, Tienwei Tsai, Li-Jen Kao:
    Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform Domain. SEKE 2005: 689-694

Session BS4: Empirical Software Engineering

• 
  • 
  • 
  • 
  • 
    Pasquale Ardimento, Alessandro Bianchi, Nicola Boffoli, Giuseppe Visaggio:
    Empirical Investigation for Building Competences: A case for Extraordinary Maintenance. SEKE 2005: 695-700
• 
  • 
  • 
  • 
  • 
    Pasquale Ardimento, Maria Teresa Baldassarre, Danilo Caivano, Giuseppe Visaggio:
    Innovation Diffusion through Empirical Studies. SEKE 2005: 701-706
• 
  • 
  • 
  • 
  • 
    Per Jönsson, Claes Wohlin:
    Understanding Impact Analysis: An Empirical Study to Capture Knowledge on Different Organisational Level. SEKE 2005: 707-712
• 
  • 
  • 
  • 
  • 
    Ahlem Nabli, Jamel Feki, Faïez Gargouri:
    Adapting Multidimensional Schemes to Data sources using Algebraic Operators. SEKE 2005: 713-718
• 
  • 
  • 
  • 
  • 
    Ana María Moreno, María Isabel Sánchez Segura:
    Helping Software Engineers to Incorporate HCI Usability Features. SEKE 2005: 719-726

Session CS4: Requirement & Architecture

• 
  • 
  • 
  • 
  • 
    Chia-Chu Chiang:
    A Design Methodology for Parallel Programming. SEKE 2005: 727-730
• 
  • 
  • 
  • 
  • 
    Shih-Hsi Liu, Fei Cao, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston:
    Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach. SEKE 2005: 731-734
• 
  • 
  • 
  • 
  • 
    Pracha Asawateera, Songsakdi Rongviriyapanich:
    The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools. SEKE 2005: 735-738
• 
  • 
  • 
  • 
  • 
    Farzad Salim, Chee Fon Chang, Aneesh Krishna, Aditya Ghose:
    Towards Executable Specification: Combining i* and AgentSpeak(L) . SEKE 2005: 739-742
• 
  • 
  • 
  • 
  • 
    Mohamed Ben Ahmed Mhiri, Achraf Mtibaa, Faïez Gargouri:
    UMLOnto: Towards a Language for the Specification of Information Systems' Ontologies. SEKE 2005: 743-746

Session AS5: Architecture II

• 
  • 
  • 
  • 
  • 
    Chung-Horng Lung, Xia Xu, Marzia Zaman:
    Software Architecture Decomposition Using Attributes. SEKE 2005: 747-752
• 
  • 
  • 
  • 
  • 
    Nishit Gujral, Jaesuk Ahn, K. Suzanne Barber:
    Architectural Model for Designing Agent-based System. SEKE 2005: 753-760
• 
  • 
  • 
  • 
  • 
    Marzia Adorni, Daniela Micucci, Francesco Tisato, Paolo Losi:
    Network Services via Reflective Architecture. SEKE 2005: 761-766

Session BS5: Techniques & Algorithms II

• 
  • 
  • 
  • 
  • 
    Yuming Zhou, Hareton K. N. Leung:
    Measuring Class Cohesion: A Causality Diagram Based Approach. SEKE 2005: 767-771
• 
  • 
  • 
  • 
  • 
    Pintsang Chang:
    Peer-To-Peer Trading Databases Verification and Rectification. SEKE 2005: 772-776
• 
  • 
  • 
  • 
  • 
    Song Han, Elizabeth Chang, Tharam S. Dillon:
    Secure Electronic Commerce with Mobile Agents. SEKE 2005: 777-782
• 
  • 
  • 
  • 
  • 
    Shuchuan Lo, Junneng Yang, Fang-Chih Tien:
    Weighted Binary Sequential Mining Algorithm with Application to the Next-Day Appearance Prediction. SEKE 2005: 783-782

Session A5: Digital Media

• 
  • 
  • 
  • 
  • 
    Wei-Cheng Yu, Larry K. H. Chang:
    Digital Media - Art and Technology Applications. SEKE 2005: 787
• 
  • 
  • 
  • 
  • 
    Jiaher Lee:
    Managed P2P - New Channel of Digital Media. SEKE 2005: 788

Session CS5: Panel on Embedded and Ubiquitous Software Engineering (EUSE)

• 
  • 
  • 
  • 
  • 
    Hoh Peter In, Dong-hyun Lee:
    Software Engineering Issues for Ubiquitous Entertainment Service. SEKE 2005: 790
• 
  • 
  • 
  • 
  • 
    Marc McEachern:
    A Ubiquitous Service and Group Data Communications Framework. SEKE 2005: 791
• 
  • 
  • 
  • 
  • 
    Mikio Aoyama:
    Challenges of Embedded and Ubiquitous Software Engineering from the Perspective of Networked Ecological Systems. SEKE 2005: 792
• 
  • 
  • 
  • 
  • 
    Sooyong Park, Dongsun Kim, Jaesun Kim:
    A Framework for Self-adaptive Software. SEKE 2005: 793

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: