William C. Chu, Natalia Juristo Juzgado, W. Eric Wong
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2005.

@proceedings{SEKE-2005,
	address       = "Taiwan, Republic of China",
	editor        = "William C. Chu and Natalia Juristo Juzgado and W. Eric Wong",
	isbn          = "1-891706-16-0",
	title         = "{Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering}",
	year          = 2005,
}

Contents (145 items)

19 ×#modelling
13 ×#using
12 ×#multi
11 ×#design
10 ×#approach
10 ×#named
9 ×#architecture
9 ×#development
9 ×#framework
9 ×#specification

SEKE-2005-Ke #industrial

Software Industry in Taiwan (JsK), p. 1.

SEKE-2005-Short #re-engineering

Software Engineering Strategies for Seamless Computing (CS), p. 2.

SEKE-2005-Chang #information management

A Chronobot for Time and Knowledge Exchange and Management (SKC), pp. 3–10.

SEKE-2005-Weiss #product line

Software Product Line Engineering (DMW), p. 11.

SEKE-2005-ShihY #implementation

The Implementation of Chronobot Engine (EYS, WHY), pp. 12–15.

SEKE-2005-Shen #interactive #protocol

The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) System (MS), pp. 16–18.

SEKE-2005-Lin

A Post-auction Negotiation Mechanism for Electronic Marketplace (RJL), pp. 19–24.

SEKE-2005-HsuCCY #configuration management #interface #named

Cricketbot — A Configurable Human Interface Software Robot (WTH, YLC, JCC, YPY), pp. 25–28.

SEKE-2005-LiCC

Face Alive Icons (XL, CCC, SKC), pp. 29–36.

SEKE-2005-Chiou #detection

Knowledge Fusion Based Object Detection In Pulmonary Radiology (YSC), pp. 37–42.

SEKE-2005-AyalaCCGHSFMQ #analysis #comparative #modelling

A Comparative Analysis of i*-Based Agent-Oriented Modeling Languages (CPA, CC, JPC, GG, MH, GS, XF, EM, CQ), pp. 43–50.

SEKE-2005-BeydounGLH #metamodelling #multi #towards #validation

Towards Method Engineering for Multi-Agent Systems: A preliminary validation of a Generic MAS Metamodel (GB, CGP, GL, BHS), pp. 51–56.

SEKE-2005-JiA #network

Spontaneous Agent Networking (ZJ, MA), pp. 57–61.

SEKE-2005-XiaoG #adaptation

The Adaptive Agent Model: Software Adaptivity through Dynamic Agents and XMLbased Business Rules (LX, DG), pp. 62–67.

SEKE-2005-TynanRO #development #multi #network

A Methodology for the Development of Multi-Agent Systems on Wireless Sensor Networks (RT, AGR, GMPO), pp. 68–75.

SEKE-2005-Gong #case study

A Case Study on the BPR-before-IT of Food Company in Taiwan (DCG), pp. 77–81.

SEKE-2005-LienT #network #recommendation #web

A Web Pages Recommender with Bayesian Networks (CCL, HLT), pp. 82–87.

SEKE-2005-LeiS #evaluation #metamodelling

An Evaluation of E-Business Metamodels (YL, MPS), pp. 88–93.

SEKE-2005-ChenSH #collaboration

Creating Virtual Collaborative Team Through the Construction of Expertise Spaces (WHC, JYS, MJH), pp. 94–98.

SEKE-2005-KuoLL #smarttech

Smart cards for the Taiwan NHI (JSK, TWL, CHL), pp. 99–104.

SEKE-2005-HuaC #specification

Yet Another Purchasing Specification Construction in E-Business (CHH, PMC), pp. 105–108.

SEKE-2005-BasitRJ #empirical #unification #using

An Empirical Study on Limits of Clone Unification Using Generics (HAB, DCR, SJ), pp. 109–114.

SEKE-2005-McCareyCK #reuse

Knowledge Reuse for Software Reuse (FM, MÓC, NK), pp. 115–120.

SEKE-2005-XuNSL #process

Reuse-based Software Process Improvement and Contro (RX, PN, YS, YTL), pp. 121–126.

SEKE-2005-HamzaF #reuse

Stable Atomic Knowledge Pattern (SAK) — Enabling Inter-Domain Knowledge Reuse (HSH, MEF), pp. 127–132.

SEKE-2005-Hamza #modelling #ontology

A Pattern-based Appraoch for Developing Business Object Models with Ontologies (HSH), pp. 133–138.

SEKE-2005-MendesA #development #ontology

Issues in the Development of an Ontology for a Emerging Engineering Discipline (OM, AA), pp. 139–144.

SEKE-2005-SiciliaCR #learning #ontology #process

Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning Technologies (MÁS, JJC, DR), pp. 145–150.

SEKE-2005-FalboRM #ontology #re-engineering #semantics #using

Using Ontologies to Add Semantics to a Software Engineering Environment (RdAF, FBR, RDM), pp. 151–156.

SEKE-2005-MarewKB #aspect-oriented #case study #composition #development #functional #product line #using

Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development (TM, JK, DHB), pp. 152–157.

SEKE-2005-CooperDW #approach #architecture #aspect-oriented #modelling #reuse #security

Modeling Reusable Security Aspects for Software Architectures: a Pattern Driven Approach (KMLC, LD, WEW), pp. 158–162.

SEKE-2005-HanB #aspect-oriented #composition #evolution

Dynamically Evolvable Composition of Aspects Based On Relation Model (IJH, DHB), pp. 163–168.

SEKE-2005-YuLYH #analysis #aspect-oriented #modelling

Formal Aspect-Oriented Modeling and Analysis by Aspect (HY, DL, LY, XH), pp. 169–174.

SEKE-2005-ChinLHLL #architecture #internet #multi

Architecture for An Internet Marketing Multi-Agent System with Mediate Personal Agent (KYC, CWL, ZWH, JML, AJL), pp. 175–180.

SEKE-2005-LiuL #design pattern

Constructing Software System Based On Software Pattern and Architecture (FHL, SFL), pp. 181–186.

SEKE-2005-KuoH #design #fuzzy #logic #ontology

Incorporating Fuzzy Logic in Ontology-Based Agent System Design (JYK, NLH), pp. 187–192.

SEKE-2005-HsuehCK #design pattern #modelling #object-oriented #quality #verification

Verification of Design Patterns with Object-Oriented Quality Models (NLH, PHC, JYK), pp. 193–198.

SEKE-2005-SongPCZ #specification #transaction #uml #verification

Formal Verification of Transactional Systems Based on UML Specifications (MAJS, AMP, SVAC, LEZ), pp. 199–204.

SEKE-2005-KrishnaG #concept #diagrams #modelling #sequence chart #uml

Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram (AK, AKG), pp. 205–210.

SEKE-2005-GaoCMYB #learning #modelling #object-oriented

An Object-Oriented Modeling Learning Support System With Inspection Comments (TG, KMLC, HM, ILY, FBB), pp. 211–216.

SEKE-2005-GaoCMYB05a #adaptation #component #distributed #towards #uml

Toward a UML Profile to Support Component-Based Distributed Adaptive Systems (TG, KMLC, HM, ILY, FBB), pp. 217–222.

SEKE-2005-KinjoH #learning #modelling #object-oriented

An Object-Oriented Modeling Learning Support System With Inspection Comments (TK, AH), pp. 223–228.

SEKE-2005-SongLN #evaluation #framework #markov #named #object-oriented #specification

OOMSE — An Object Oriented Markov Chain Specification and Evaluation Framework (HS, CL, RN), pp. 229–234.

SEKE-2005-PilattiPA #development #framework #standard

Global Software Development: Standardization of the Developing Phase based on the MSF Framework in a global CMM level 3 context (LP, RP, JLNA), pp. 235–240.

SEKE-2005-LbathCC #approach #development #modelling #multi #process

A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes (RL, BC, XC), pp. 241–246.

SEKE-2005-Kajko-MattssonGN #maintenance #process #taxonomy

Taxonomy of Predelivery/Prerelease Maintenance Activities (MKM, AGG, MN), pp. 247–252.

SEKE-2005-FalboPS #delivery #multi #re-engineering

A Multi-Agent System for Knowledge Delivery in a Software Engineering Environment (RdAF, JP, MMS), pp. 253–258.

SEKE-2005-GrauFMACHNBQ #dependence #modelling #named

RiSD: A Methodology for Building i-Strategic Dependency Models (GG, XF, EM, CPA, CC, MH, FN, PB, CQ), pp. 259–266.

SEKE-2005-MondragonGMS #generative #monitoring #runtime #specification

Generating Properties for Runtime Monitoring from Software Specification Patterns (OM, AQG, HM, OS), pp. 267–273.

SEKE-2005-LiuBY #development #formal method

A Formal Foundation of Code Pattern Based Development (JL, FBB, ILY), pp. 274–279.

SEKE-2005-Zhu #behaviour #multi #reasoning

Formal Reasoning about Emergent Behaviours of Multi-Agent Systems (HZ), pp. 280–285.

SEKE-2005-LucanuLD #morphism #owl

Institution Morphisms for Relating OWL and Z (DL, YFL, JSD), pp. 286–291.

SEKE-2005-ChanCT #adaptation #random testing #reduction #testing

Adaptive Random Testing with Filtering: An Overhead Reduction Technique (KPC, TYC, DT), pp. 292–299.

SEKE-2005-LiWMW #constraints #generative #testing #theorem proving

A Constraint Solver for Code-based Test Data Generation (JJL, WEW, XM, DMW), pp. 300–305.

SEKE-2005-ChenKZ #adaptation #effectiveness #on the #random testing #testing

On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random Testing (TYC, FCK, ZZ), pp. 306–311.

SEKE-2005-FerreiraV #algorithm #generative #hybrid #named #search-based #testing

TDSGen: An Environment Based on Hybrid Genetic Algorithms for Generation of Test Data (LPF, SRV), pp. 312–317.

SEKE-2005-ZhouXZS #approach #refactoring

An Aspect Transformation Approach with Refactoring (CZ, BX, TZ, LS), pp. 318–323.

SEKE-2005-ChuW #evolution #metamodelling #process #xml

An XML-based Meta-model for PRocess and Agent-based Integrated Software Evolution environment (PRAISE) (WCC, CHW), pp. 324–329.

SEKE-2005-WuSC #on the #web

On the Web Data Extraction Model (ICW, JYS, LBC), pp. 330–335.

SEKE-2005-LiCLY #analysis #design #evolution #feature model #legacy #using

Using Feature-Oriented Analysis to Recover Legacy Software Design for Software Evolution (SL, FC, ZL, HY), pp. 336–341.

SEKE-2005-PaivaF #case study #design #re-engineering

Design Rationale in Software Engineering: A Case Study (DMBP, RPdMF), pp. 342–347.

SEKE-2005-CoyetteVFK #design #generative #user interface

Generating Abstract User Interfaces from an Informal Design (AC, JV, SF, MK), pp. 348–353.

SEKE-2005-WangDSL #approach #design #process

TCOZ Approach to OWL-S Process Model Design (HHW, JSD, JS, YFL), pp. 354–359.

SEKE-2005-ChenTY #design pattern #generative #pervasive #user interface

UI Design Pattern Generator for Pervasive Device (DJC, MJT, STY), pp. 360–365.

SEKE-2005-XuXN #approach #aspect-oriented #source code #testing

A State-Based Approach to Testing Aspect-Oriented Programs (DX, WX, KEN), pp. 366–371.

SEKE-2005-FelfernigG #development #effectiveness #knowledge-based #process #recommendation

AI Technologies Supporting Effective Development Processes for Knowledge-based Recommender Applications (AF, SG), pp. 372–379.

SEKE-2005-NetoRP #automation #developer #perspective #testing

System Testing Automation: A Developer Perspective (PdAdSN, RFR, CIPdSeP), pp. 380–385.

SEKE-2005-SouzaVSSGLH #message passing #named #parallel #source code #testing

ValiPar: A Testing Tool for Message-Passing Parallel Programs (SdRSdS, SRV, PSLdS, AdSS, TBG, AdML, ACH), pp. 386–391.

SEKE-2005-IzadiM #algorithm #calculus #model checking #performance #μ-calculus

An Efficient Model Checking Algorithm for a Fragment of μ-Calculus (MI, AMR), pp. 392–395.

SEKE-2005-Niazi #empirical #process #requirements

An Empirical Study for the Improvement of Requirements Engineering Process (MN), pp. 396–399.

SEKE-2005-BabarNJ #architecture #framework #overview #using

Assessing a Framework of Comparing Architecture Review Methods Using CMMI (MAB, MN, DRJ), pp. 400–403.

SEKE-2005-ArdimentoBCV #information management

Decision Tables for Knowledge Acquisition during Goal Interpretation (PA, MTB, DC, GV), pp. 404–407.

SEKE-2005-OgameKH #diagrams #uml

Inspection Support System for UML Diagram (YO, TK, AH), pp. 408–411.

SEKE-2005-FuDH #architecture #automation #design

A Methodology of Automated Realization of a Software Architecture Design (YF, ZD, XH), pp. 412–417.

SEKE-2005-LungZ #analysis #architecture #combinator #design

Application of Design Combinatorial Theory to Scenario-Based Software Architecture Analysis (CHL, MZ), pp. 418–423.

SEKE-2005-Kjaergaard #abstraction #architecture #on the

On Abstraction Levels for Software Architecture Viewpoints (MBK), pp. 424–429.

SEKE-2005-Hazeyama #overview #re-engineering

State of the Survey on Team-based Software Engineering Project Course (AH), pp. 430–435.

SEKE-2005-CangussuK #evaluation #integration #modelling #testing #using

Using Dynamic Models for the Evaluation of Integration and System Testing (JWC, RMK), pp. 436–441.

SEKE-2005-Wang #infinity #logic #model checking #specification

Specification of an Infinite-State Local Model Checker in Rewriting Logic (BYW), pp. 442–447.

SEKE-2005-WangWH #hybrid #linear #verification

Verifying Timed and Linear Hybrid Rule-Systems with RED (FW, RSW, GDH), pp. 448–454.

SEKE-2005-KrishnaGV #concept #consistency #modelling #specification

Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications (AK, AKG, SAV), pp. 455–460.

SEKE-2005-Chen #empirical #modelling #requirements

Empirical Modelling for Situated Requirements Engineering (YCC), pp. 461–466.

SEKE-2005-AvesaniBPS #requirements

Exploiting Domain Knowledge in Requirements Prioritization (PA, CB, AP, AS), pp. 467–472.

SEKE-2005-LopesA #case study #requirements #specification

Impact of GSD in Requirements Specification — A Case Study (LL, JLNA), pp. 473–478.

SEKE-2005-FurstT #knowledge-based #named #ontology

TooCoM: bridge the gap between Ontologies and Knowledge-Based Systems (FF, FT), pp. 479–484.

SEKE-2005-RehmanIAQI #database #education #grid #multi #named

UREKA — Grid Enabled Educational Multimedia Database (MuR, II, MUA, MAQ, NI), pp. 485–490.

SEKE-2005-TsunodaKOMM #collaboration #java #named #recommendation

Javawock: A Java Class Recommender System Based on Collaborative Filtering (MT, TK, NO, AM, KiM), pp. 491–497.

SEKE-2005-FekiMG #approach #integration #multi

A Two-Phase Approach for Multidimensional Schemes Integration (JF, JM, FG), pp. 498–503.

SEKE-2005-HuangLF #automation #email #mining #query

A Chinese Text Mining Application: An Automatic Answer Reply to Customers’ E-mail Queries Model (JYH, HML, CLF), pp. 504–507.

SEKE-2005-ChanS #data mining #mining #rule-based

From Data to Knowledge: an Integrated Rule-Based Data Mining System (CCC, ZS), pp. 508–513.

SEKE-2005-LeeWC #summary #video #web

Integrating Web Information to Generate Chinese Video Summaries (YSL, YCW, CHC), pp. 514–519.

SEKE-2005-HeBZH #framework #integration

Dynamic Integration Strategy for Mediation Framework (LH, HB, JZ, CH), pp. 520–524.

SEKE-2005-YangE #framework #integration

Dynamic Integration Strategy for Mediation Framework (LY, RKE), pp. 525–530.

SEKE-2005-KongOF #analysis #formal method #security #workflow

Formal Analysis of Workflow Systems with Security Considerations (WK, KO, KF), pp. 531–536.

SEKE-2005-VoP #concurrent #detection #java

A Deadlock Detector for Synchronous Java (DDV, CP), pp. 537–542.

SEKE-2005-ChangL #compilation #data-driven

Compiler Techniques for Data Driven Languages with Superlinear Speed-up (LHC, ELL), pp. 543–549.

SEKE-2005-HuangC #approximate #case study #distance

A Study of the Approximate Shortest Distance Route for the Construction Walk of Welding Robot (CJH, BKC), pp. 550–555.

SEKE-2005-HongCC #fuzzy #learning #performance

Learning Efficiency Improvement of Fuzzy CMAC by Aitken Acceleration Method (CMH, CMC, HYC), pp. 556–595.

SEKE-2005-DingXDCH #design #mobile #modelling

Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models (JD, DX, YD, PJC, XH), pp. 560–565.

SEKE-2005-XiaoG05a #modelling

Modelling Agent Knowledge with Business Rules (LX, DG), pp. 566–571.

SEKE-2005-LiW #approach #behaviour #implementation #web

Web Search Based on Ant Behavior: Approach and Implementation in Case of Interlegis (WL, MQW), pp. 572–577.

SEKE-2005-GuanG #constraints #using #web #web service

Dealing with Web Service QoS factors using Constraint Hierarchy (YG, AKG), pp. 578–583.

SEKE-2005-ChouLL #communication #web #web service

Web Service for Communication Service Management (WC, LL, FL), pp. 584–589.

SEKE-2005-WangM #behaviour #web

Recovering Individual Accessing Behaviour from Web Logs (LW, CM), pp. 590–595.

SEKE-2005-HsiungL #modelling #safety #verification

Model-based Verification of Safety-Critical Systems (PAH, YHL), pp. 596–601.

SEKE-2005-BrandaoSL #design #knowledge-based #multi #reasoning #using #verification

Multi-Agent System Design Verification Using Knowledge-based Reasoning (AB, VTdS, CJPdL), pp. 602–607.

SEKE-2005-OgataF #approach #liveness #proving #verification

Proof Score Approach to Verification of Liveness Properties (KO, KF), pp. 608–613.

SEKE-2005-SenachakSOF #java

Provably Correct Translation from CafeOBJ into Java (JS, TS, KO, KF), pp. 614–619.

SEKE-2005-ZhangLY #delivery #identification #re-engineering

Service Identification and Packaging in Service Oriented Reengineering (ZZ, RL, HY), pp. 620–625.

SEKE-2005-WangDS #alloy #reasoning #using

Reasoning Support for SWRL-FOL Using Alloy (HHW, JSD, JS), pp. 626–631.

SEKE-2005-IngstrupH #composition #ubiquitous

Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing (MI, KMH), pp. 632–638.

SEKE-2005-YangLH #reasoning

An Ontology-Supported Case-Based Reasoning Technique for FAQ Proxy Service (SYY, PCL, CSH), pp. 639–644.

SEKE-2005-HouJ #component #framework #reuse #web

A Framework for Reusing and Composing Software Components on Web (LH, ZJ), pp. 645–648.

SEKE-2005-BogornyEA #data mining #framework #mining

A Reuse-based Spatial Data Preparation Framework for Data Mining (VB, PME, LOA), pp. 649–652.

SEKE-2005-JuricWM #automation #case study #component #experience #generative #off the shelf

Experiences of Generating COTS Components when Automating Medicinal Product Evaluations (RJ, SW, PM), pp. 653–656.

SEKE-2005-LamineJG #case study #estimation #named #product line #reuse

Reuse: Case of a Software Cost Estimation Model for Product Line Engineering (SBABL, LLJ, HHBG), pp. 657–660.

SEKE-2005-YeS #dependence #modelling #variability

Modelling Feature Variability and Dependency in Two Views (HY, AS), pp. 661–664.

SEKE-2005-Hanakawa #communication #development #modelling

A project growth model based on communication for software development (NH), pp. 665–670.

SEKE-2005-ChenTTC #implementation

Implementation of a Remote Checkpointing System for Windows NT Applications (WHC, JT, DT, YCC), pp. 671–676.

SEKE-2005-BenavidesTC #constraints #feature model #modelling #programming #using

Using Constraint Programming to Reason on Feature Models (DB, PT, ARC), pp. 677–682.

SEKE-2005-ParkKYH #development #embedded #mobile

Development of an Embedded Spatial MMDBMS for Spatial Mobile Devices (JWP, JJK, JKY, KJH), pp. 683–688.

SEKE-2005-ChiangTK #classification #multi #performance #using

Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform Domain (TWC, TT, LJK), pp. 689–694.

SEKE-2005-ArdimentoBBV #empirical #maintenance

Empirical Investigation for Building Competences: A case for Extraordinary Maintenance (PA, AB, NB, GV), pp. 695–700.

SEKE-2005-ArdimentoBCV05a #empirical

Innovation Diffusion through Empirical Studies (PA, MTB, DC, GV), pp. 701–706.

SEKE-2005-JonssonW #comprehension #empirical #impact analysis

Understanding Impact Analysis: An Empirical Study to Capture Knowledge on Different Organisational Level (PJ, CW), pp. 707–712.

SEKE-2005-NabliFG #adaptation #algebra #data flow #multi #using

Adapting Multidimensional Schemes to Data sources using Algebraic Operators (AN, JF, FG), pp. 713–718.

SEKE-2005-MorenoS #human-computer #usability

Helping Software Engineers to Incorporate HCI Usability Features (AMM, MISS), pp. 719–726.

SEKE-2005-Chiang #design #parallel #programming

A Design Methodology for Parallel Programming (CCC), pp. 727–730.

SEKE-2005-LiuCBGROA #analysis #approach #component #composition #quality #requirements #two-level grammar

Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach (SHL, FC, BRB, JGG, RRR, AMO, MA), pp. 731–734.

SEKE-2005-AsawateeraR #automation #implementation #multi #tool support #uml

The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools (PA, SR), pp. 735–738.

SEKE-2005-SalimCKG #execution #specification #towards

Towards Executable Specification: Combining i* and AgentSpeak(L) (FS, CFC, AK, AG), pp. 739–742.

SEKE-2005-MhiriMG #information management #named #ontology #specification #towards

UMLOnto: Towards a Language for the Specification of Information Systems’ Ontologies (MBAM, AM, FG), pp. 743–746.

SEKE-2005-LungXZ #architecture #composition #using

Software Architecture Decomposition Using Attributes (CHL, XX, MZ), pp. 747–752.

SEKE-2005-GujralAB #architecture #design

Architectural Model for Designing Agent-based System (NG, JA, KSB), pp. 753–760.

SEKE-2005-AdorniMTL #architecture #network

Network Services via Reflective Architecture (MA, DM, FT, PL), pp. 761–766.

SEKE-2005-ZhouL #approach #diagrams

Measuring Class Cohesion: A Causality Diagram Based Approach (YZ, HKNL), pp. 767–771.

SEKE-2005-Chang05a #database #peer-to-peer #verification

Peer-To-Peer Trading Databases Verification and Rectification (PC), pp. 772–776.

SEKE-2005-HanCD #mobile

Secure Electronic Commerce with Mobile Agents (SH, EC, TSD), pp. 777–782.

SEKE-2005-LoYT #algorithm #mining #predict

Weighted Binary Sequential Mining Algorithm with Application to the Next-Day Appearance Prediction (SL, JY, FCT), pp. 783–782.

SEKE-2005-YuC

Digital Media — Art and Technology Applications (WCY, LKHC), p. 787.

SEKE-2005-Lee

Managed P2P — New Channel of Digital Media (JL), p. 788.

SEKE-2005-InL #re-engineering #ubiquitous

Software Engineering Issues for Ubiquitous Entertainment Service (HPI, DhL), p. 790.

SEKE-2005-McEachern #framework #ubiquitous

A Ubiquitous Service and Group Data Communications Framework (MM), p. 791.

SEKE-2005-Aoyama #challenge #embedded #re-engineering #ubiquitous

Challenges of Embedded and Ubiquitous Software Engineering from the Perspective of Networked Ecological Systems (MA), p. 792.

SEKE-2005-ParkKK #adaptation #framework #self

A Framework for Self-adaptive Software (SP, DK, JK), p. 793.