Conferences in DBLP
Jyh-sheng Ke Software Industry in Taiwan. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:1- [Conf ] Christopher Short Software Engineering Strategies for Seamless Computing. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:2- [Conf ] Shi-Kuo Chang A Chronobot for Time and Knowledge Exchange and Management. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:3-10 [Conf ] David M. Weiss Software Product Line Engineering. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:11- [Conf ] En-Yu Shih , Wen-Hsi Yeh The Implementation of Chronobot Engine. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:12-15 [Conf ] Minxin Shen The Service Interaction Protocol for the Chronobot/Virtual Classroom (CVC) System. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:16-18 [Conf ] Raymund J. Lin A Post-auction Negotiation Mechanism for Electronic Marketplace. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:19-24 [Conf ] Wei-Tek Hsu , Yu-Lin Chou , Jin-Chin Chung , Yin-Pin Yang Cricketbot -- A Configurable Human Interface Software Robot. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:25-28 [Conf ] Xin Li , Chieh-Chih Chang , Shi-Kuo Chang Face Alive Icons. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:29-36 [Conf ] Yun-Shu Chiou Knowledge Fusion Based Object Detection In Pulmonary Radiology. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:37-42 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:43-50 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:51-56 [Conf ] Zhenyan Ji , Malmberg Ake Spontaneous Agent Networking. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:57-61 [Conf ] Liang Xiao 0002 , Des Greer The Adaptive Agent Model: Software Adaptivity through Dynamic Agents and XMLbased Business Rules. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:62-67 [Conf ] Richard Tynan , Antonio G. Ruzzelli , Gregory M. P. O'Hare A Methodology for the Development of Multi-Agent Systems on Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:68-75 [Conf ] Dah-Chuan Gong A Case Study on the BPR-before-IT of Food Company in Taiwan. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:77-81 [Conf ] Chih-Cheng Lien , Huan-Lin Tsai A Web Pages Recommender with Bayesian Networks. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:82-87 [Conf ] Yu Lei , Munindar P. Singh An Evaluation of E-Business Metamodels. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:88-93 [Conf ] Wun-Hwa Chen , Jen-Ying Shih , Ming-Jyh Hsieh Creating Virtual Collaborative Team Through the Construction of Expertise Spaces. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:94-98 [Conf ] Jwe Son Kuo , Tsong-Wuu Lin , Chien-Hsiang Liu Smart cards for the Taiwan NHI. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:99-104 [Conf ] Ching-Han Hua , Pei-Min Chen Yet Another Purchasing Specification Construction in E-Business. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:105-108 [Conf ] Hamid Abdul Basit , Damith C. Rajapakse , Stan Jarzabek An Empirical Study on Limits of Clone Unification Using Generics. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:109-114 [Conf ] Frank McCarey , Mel Ó Cinnéide , Nicholas Kushmerick Knowledge Reuse for Software Reuse. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:115-120 [Conf ] Ru-Zhi Xu , Pei-Yao Nie , Ying Sai , Yun-Ting Lee Reuse-based Software Process Improvement and Contro. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:121-126 [Conf ] Haitham S. Hamza , Mohamed E. Fayad Stable Atomic Knowledge Pattern (SAK) - Enabling Inter-Domain Knowledge Reuse. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:127-132 [Conf ] Haitham S. Hamza A Pattern-based Appraoch for Developing Business Object Models with Ontologies. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:133-138 [Conf ] Olavo Mendes , Alain Abran Issues in the Development of an Ontology for a Emerging Engineering Discipline. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:139-144 [Conf ] Miguel-Ángel Sicilia , Juan J. Cuadrado , Daniel Rodríguez Ontologies of Software Artifacts and Activities: Resource Annotation and Application to Learning Technologies. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:145-150 [Conf ] Ricardo de Almeida Falbo , Fabiano Borges Ruy , Rodrigo Dal Moro Using Ontologies to Add Semantics to a Software Engineering Environment. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:151-156 [Conf ] Tegegne Marew , Jungyoon Kim , Doo-Hwan Bae Case Study on Systematic Functional Decomposition in a Product Line using Aspect Oriented Software Development. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:152-157 [Conf ] Kendra Cooper , Lirong Dai , W. Eric Wong Modeling Reusable Security Aspects for Software Architectures: a Pattern Driven Approach. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:158-162 [Conf ] Ik-Joo Han , Doo-Hwan Bae Dynamically Evolvable Composition of Aspects Based On Relation Model. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:163-168 [Conf ] Huiqun Yu , Dongmei Liu , Li Yang , Xudong He Formal Aspect-Oriented Modeling and Analysis by Aspect. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:169-174 [Conf ] Kai-Yi Chin , Chih-Wei Lin , Zeng-Wei Hong , Jim-Min Lin , Arthur Lin Architecture for An Internet Marketing Multi-Agent System with Mediate Personal Agent. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:175-180 [Conf ] Fong-Hao Liu , Shiang-Fu Luo Constructing Software System Based On Software Pattern and Architecture. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:181-186 [Conf ] Jong-Yih Kuo , Nien-Lin Hsueh Incorporating Fuzzy Logic in Ontology-Based Agent System Design. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:187-192 [Conf ] Nien-Lin Hsueh , Peng-Hua Chu , Jong-Yih Kuo Verification of Design Patterns with Object-Oriented Quality Models. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:193-198 [Conf ] Mark Song , Adriano M. Pereira , Sérgio Vale Aguiar Campos , Luis Zarate Formal Verification of Transactional Systems Based on UML Specifications. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:199-204 [Conf ] Aneesh Krishna , Aditya K. Ghose Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:205-210 [Conf ] Tong Gao , Kendra Cooper , Hui Ma , I-Ling Yen , Farokh B. Bastani An Object-Oriented Modeling Learning Support System With Inspection Comments. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:211-216 [Conf ] Tong Gao , Kendra Cooper , Hui Ma , I-Ling Yen , Farokh B. Bastani Toward a UML Profile to Support Component-Based Distributed Adaptive Systems. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:217-222 [Conf ] Tatsuya Kinjo , Atsuo Hazeyama An Object-Oriented Modeling Learning Support System With Inspection Comments. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:223-228 [Conf ] Hertong Song , Chokchai Leangsuksun , Raja Nassar OOMSE-An Object Oriented Markov Chain Specification and Evaluation Framework. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:229-234 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:235-240 [Conf ] Rédouane Lbath , Bernard Coulette , Xavier Crégut A Multi-Agent Approach to a SPEM-based Modeling and Enactment of Software Development Processes. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:241-246 [Conf ] Mira Kajko-Mattsson , Anna Grimlund Glassbrook , Maria Nordin Taxonomy of Predelivery/Prerelease Maintenance Activities. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:247-252 [Conf ] Ricardo de Almeida Falbo , Juliana Pezzin , Mellyssa M. Schwambach A Multi-Agent System for Knowledge Delivery in a Software Engineering Environment. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:253-258 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:259-266 [Conf ] Oscar Mondragon , Ann Q. Gates , Humberto Mendoza , Oleg Sokolsky Generating Properties for Runtime Monitoring from Software Specification Patterns. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:267-273 [Conf ] Jian Liu , Farokh B. Bastani , I-Ling Yen A Formal Foundation of Code Pattern Based Development. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:274-279 [Conf ] Hong Zhu Formal Reasoning about Emergent Behaviours of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:280-285 [Conf ] Dorel Lucanu , Yuan-Fang Li , Jin Song Dong Institution Morphisms for Relating OWL and Z. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:286-291 [Conf ] Kwok Ping Chan , T. Y. Chen , Dave Towey Adaptive Random Testing with Filtering: An Overhead Reduction Technique. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:292-299 [Conf ] J. Jenny Li , W. Eric Wong , Xiao Ma , David M. Weiss A Constraint Solver for Code-based Test Data Generation. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:300-305 [Conf ] Tsong Yueh Chen , Fei-Ching Kuo , Zhiquan Zhou On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random Testing. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:306-311 [Conf ] Luciano Petinati Ferreira , Silvia Regina Vergilio TDSGen: An Environment Based on Hybrid Genetic Algorithms for Generation of Test Data. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:312-317 [Conf ] Chaohong Zhou , Baowen Xu , Tiallin Zhou , Liang Shi An Aspect Transformation Approach with Refactoring. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:318-323 [Conf ] William C. Chu , Ching-Huey Wang An XML-based Meta-model for PRocess and Agent-based Integrated Software Evolution environment (PRAISE). [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:324-329 [Conf ] I-Chen Wu , Jui-Yuan Su , Loon-Been Chen On the Web Data Extraction Model. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:330-335 [Conf ] Shaoyun Li , Feng Chen , Zhihong Liang , Hongji Yang Using Feature-Oriented Analysis to Recover Legacy Software Design for Software Evolution. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:336-341 [Conf ] Débora Maria Barroso Paiva , Renata Pontin de Mattos Fortes Design Rationale in Software Engineering: A Case Study. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:342-347 [Conf ] Adrien Coyette , Jean Vanderdonckt , Stéphane Faulkner , Manuel Kolp Generating Abstract User Interfaces from an Informal Design. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:348-353 [Conf ] Hai H. Wang , Jin Song Dong , Jing Sun , Yuan-Fang Li TCOZ Approach to OWL-S Process Model Design. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:354-359 [Conf ] Deng-Jyi Chen , Ming-Jyh Tsai , Shang-Ting Yang UI Design Pattern Generator for Pervasive Device. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:360-365 [Conf ] Dianxiang Xu , Weifeng Xu , Kendall E. Nygard A State-Based Approach to Testing Aspect-Oriented Programs. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:366-371 [Conf ] Alexander Felfernig , Sergiu Gordea AI Technologies Supporting Effective Development Processes for Knowledge-based Recommender Applications. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:372-379 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:380-385 [Conf ] Simone do Rocio 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. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:386-391 [Conf ] Mohammad Izadi , Ali Movaghar-Rahimabadi An Efficient Model Checking Algorithm for a Fragment of µ-Calculus. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:392-395 [Conf ] Mahmood Niazi An Empirical Study for the Improvement of Requirements Engineering Process. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:396-399 [Conf ] Muhammad Ali Babar , Mahmood Niazi , D. Ross Jeffery Assessing a Framework of Comparing Architecture Review Methods Using CMMI. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:400-403 [Conf ] Pasquale Ardimento , Maria Teresa Baldassarre , Danilo Caivano , Giuseppe Visaggio Decision Tables for Knowledge Acquisition during Goal Interpretation. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:404-407 [Conf ] Yoshihide Ogame , Tatsuya Kinjo , Atsuo Hazeyama Inspection Support System for UML Diagram. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:408-411 [Conf ] Yujian Fu , Zhijiang Dong , Xudong He A Methodology of Automated Realization of a Software Architecture Design. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:412-417 [Conf ] Chung-Horng Lung , Marzia Zaman Application of Design Combinatorial Theory to Scenario-Based Software Architecture Analysis. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:418-423 [Conf ] Mikkel Baun Kjærgaard On Abstraction Levels for Software Architecture Viewpoints. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:424-429 [Conf ] Atsuo Hazeyama State of the Survey on Team-based Software Engineering Project Course. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:430-435 [Conf ] João W. Cangussu , Richard M. Karcich Using Dynamic Models for the Evaluation of Integration and System Testing. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:436-441 [Conf ] Bow-Yaw Wang Specification of an Infinite-State Local Model Checker in Rewriting Logic. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:442-447 [Conf ] Farn Wang , Rong-Shiung Wu , Geng-Dian Huang Verifying Timed and Linear Hybrid Rule-Systems with RED. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:448-454 [Conf ] Aneesh Krishna , Aditya K. Ghose , Sergiy A. Vilkomir Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:455-460 [Conf ] Yih-Chang Chen Empirical Modelling for Situated Requirements Engineering. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:461-466 [Conf ] Paolo Avesani , Cinzia Bazzanella , Anna Perini , Angelo Susi Exploiting Domain Knowledge in Requirements Prioritization. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:467-472 [Conf ] Leandro Lopes , Jorge Luis Nicolas Audy Impact of GSD in Requirements Specification - A Case Study. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:473-478 [Conf ] Frédéric Fürst , Francky Trichet TooCoM: bridge the gap between Ontologies and Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:479-484 [Conf ] Mohib ur Rehman , Imran Ihsan , Mobin Uddin Ahmed , Muhammad Abdul Qadir , Nadeem Iftikhar UREKA - Grid Enabled Educational Multimedia Database. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:485-490 [Conf ] Masateru Tsunoda , Takeshi Kakimoto , Naoki Ohsugi , Akito Monden , Ken-ichi Matsumoto Javawock: A Java Class Recommender System Based on Collaborative Filtering. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:491-497 [Conf ] Jamel Feki , Jihen Majdoubi , Faïez Gargouri A Two-Phase Approach for Multidimensional Schemes Integration. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:498-503 [Conf ] Ju-Yu Huang , Huey-Ming Lee , Chen-Liang Fang A Chinese Text Mining Application: An Automatic Answer Reply to Customers' E-mail Queries Model. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:504-507 [Conf ] Chien-Chung Chan , Zhicheng Su From Data to Knowledge: an Integrated Rule-Based Data Mining System. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:508-513 [Conf ] Yue-Shi Lee , Yu-Chieh Wu , Chia-Hui Chang Integrating Web Information to Generate Chinese Video Summaries. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:514-519 [Conf ] Lili He , Hongtao Bai , Jiachen Zhang , Chengquan Hu Dynamic Integration Strategy for Mediation Framework. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:520-524 [Conf ] Li Yang , Raimund K. Ege Dynamic Integration Strategy for Mediation Framework. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:525-530 [Conf ] Weiqiang Kong , Kazuhiro Ogata , Kokichi Futatsugi Formal Analysis of Workflow Systems with Security Considerations. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:531-536 [Conf ] Duc-Duy Vo , Claude Petitpierre A Deadlock Detector for Synchronous Java. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:537-542 [Conf ] Ling-Hua Chang , Ernst L. Leiss Compiler Techniques for Data Driven Languages with Superlinear Speed-up. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:543-549 [Conf ] Chin-Jung Huang , Bing-Kun Chan A Study of the Approximate Shortest Distance Route for the Construction Walk of Welding Robot. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:550-555 [Conf ] Chin-Ming Hong , Chih-Ming Chen , Hung-Yu Chien Learning Efficiency Improvement of Fuzzy CMAC by Aitken Acceleration Method. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:556-595 [Conf ] Junhua Ding , Dianxiang Xu , Yi Deng , Peter J. Clarke , Xudong He Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:560-565 [Conf ] Liang Xiao 0002 , Des Greer Modelling Agent Knowledge with Business Rules [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:566-571 [Conf ] Weigang Li , Man Qi Wu Web Search Based on Ant Behavior: Approach and Implementation in Case of Interlegis. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:572-577 [Conf ] Ying Guan , Aditya K. Ghose Dealing with Web Service QoS factors using Constraint Hierarchy. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:578-583 [Conf ] Wu Chou , Li Li , Feng Liu Web Service for Communication Service Management. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:584-589 [Conf ] Long Wang 0002 , Christoph Meinel Recovering Individual Accessing Behaviour from Web Logs. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:590-595 [Conf ] Pao-Ann Hsiung , Yen-Hung Lin Model-based Verification of Safety-Critical Systems. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:596-601 [Conf ] Anarosa Brandão , Viviane Torres da Silva , Carlos José Pereira de Lucena Multi-Agent System Design Verification Using Knowledge-based Reasoning. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:602-607 [Conf ] Kazuhiro Ogata , Kokichi Futatsugi Proof Score Approach to Verification of Liveness Properties. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:608-613 [Conf ] Jittisak Senachak , Takahiro Seino , Kazuhiro Ogata , Kokichi Futatsugi Provably Correct Translation from CafeOBJ into Java. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:614-619 [Conf ] Zhuopeng Zhang , Ruimin Liu , Hongji Yang Service Identification and Packaging in Service Oriented Reengineering. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:620-625 [Conf ] Hai Wang , Jin Song Dong , Jing Sun Reasoning Support for SWRL-FOL Using Alloy. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:626-631 [Conf ] Mads Ingstrup , Klaus Marius Hansen Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:632-638 [Conf ] Sheng-Yuan Yang , Pen-Chin Liao , Cheng-Seen Ho An Ontology-Supported Case-Based Reasoning Technique for FAQ Proxy Service. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:639-644 [Conf ] Lishan Hou , Zhi Jin A Framework for Reusing and Composing Software Components on Web. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:645-648 [Conf ] Vania Bogorny , Paulo Martins Engel , Luis Otávio Alvares A Reuse-based Spatial Data Preparation Framework for Data Mining. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:649-652 [Conf ] Radmila Juric , Stephen Williams , Peter Milligan Experiences of Generating COTS Components when Automating Medicinal Product Evaluations. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:653-656 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:657-660 [Conf ] Huilin Ye , Afroza Sharmin Modelling Feature Variability and Dependency in Two Views. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:661-664 [Conf ] Noriko Hanakawa A project growth model based on communication for software development. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:665-670 [Conf ] Wu-Hong Chen , Jichiang Tsai , Di Tarn , Yen-Chian Chen Implementation of a Remote Checkpointing System for Windows NT Applications. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:671-676 [Conf ] David Benavides , Pablo Trinidad , Antonio Ruiz Cortés Using Constraint Programming to Reason on Feature Models. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:677-682 [Conf ] Ji-Woong Park , Joung-Joon Kim , Jae-Kwan Yun , Ki-Joon Han Development of an Embedded Spatial MMDBMS for Spatial Mobile Devices. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:683-688 [Conf ] Te-Wei Chiang , Tienwei Tsai , Li-Jen Kao Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform Domain. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:689-694 [Conf ] Pasquale Ardimento , Alessandro Bianchi , Nicola Boffoli , Giuseppe Visaggio Empirical Investigation for Building Competences: A case for Extraordinary Maintenance. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:695-700 [Conf ] Pasquale Ardimento , Maria Teresa Baldassarre , Danilo Caivano , Giuseppe Visaggio Innovation Diffusion through Empirical Studies. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:701-706 [Conf ] Per Jönsson , Claes Wohlin Understanding Impact Analysis: An Empirical Study to Capture Knowledge on Different Organisational Level. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:707-712 [Conf ] Ahlem Nabli , Jamel Feki , Faïez Gargouri Adapting Multidimensional Schemes to Data sources using Algebraic Operators. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:713-718 [Conf ] Ana María Moreno , Maria Isabel Sánchez Segura Helping Software Engineers to Incorporate HCI Usability Features. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:719-726 [Conf ] Chia-Chu Chiang A Design Methodology for Parallel Programming. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:727-730 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:731-734 [Conf ] Pracha Asawateera , Songsakdi Rongviriyapanich The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:735-738 [Conf ] Farzad Salim , Chee Fon Chang , Aneesh Krishna , Aditya Ghose Towards Executable Specification: Combining i* and AgentSpeak(L) . [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:739-742 [Conf ] Mohamed Mhiri , Achraf Mtibaa , Faïez Gargouri UMLOnto: Towards a Language for the Specification of Information Systems' Ontologies. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:743-746 [Conf ] Chung-Horng Lung , Xia Xu , Marzia Zaman Software Architecture Decomposition Using Attributes. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:747-752 [Conf ] Nishit Gujral , Jaesuk Ahn , K. Suzanne Barber Architectural Model for Designing Agent-based System. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:753-760 [Conf ] Marzia Adorni , Daniela Micucci , Francesco Tisato , Paolo Losi Network Services via Reflective Architecture. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:761-766 [Conf ] Yuming Zhou , Hareton K. N. Leung Measuring Class Cohesion: A Causality Diagram Based Approach. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:767-771 [Conf ] Pintsang Chang Peer-To-Peer Trading Databases Verification and Rectification. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:772-776 [Conf ] Song Han , Elizabeth Chang , Tharam S. Dillon Secure Electronic Commerce with Mobile Agents. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:777-782 [Conf ] Shuchuan Lo , Junneng Yang , Fang-Chih Tien Weighted Binary Sequential Mining Algorithm with Application to the Next-Day Appearance Prediction. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:783-782 [Conf ] Wei-Cheng Yu , Larry K. H. Chang Digital Media - Art and Technology Applications. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:787- [Conf ] Jiaher Lee Managed P2P - New Channel of Digital Media. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:788- [Conf ] Hoh Peter In , Dong-hyun Lee Software Engineering Issues for Ubiquitous Entertainment Service. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:790- [Conf ] Marc McEachern A Ubiquitous Service and Group Data Communications Framework. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:791- [Conf ] Mikio Aoyama Challenges of Embedded and Ubiquitous Software Engineering from the Perspective of Networked Ecological Systems. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:792- [Conf ] Sooyong Park , Dongsun Kim , Jaesun Kim A Framework for Self-adaptive Software. [Citation Graph (0, 0)][DBLP ] SEKE, 2005, pp:793- [Conf ]