Volume 15, Number 1, February 2005

• 
  Zhongyu Lu: A Survey Of Xml Applications On Science And Technology. 1-33
• 
  Michael E. Shin, Alexander H. Levis, Lee W. Wagenhals, Dae-Sik Kim: Analyzing Dynamic Behavior Of Large-Scale Systems Through Model Transformation. 35-60
• 
  Bo Chen, Samira Sadaoui: A Generic Formal Framework For Constructing Agent Interaction Protocols. 61-85
• 
  Tsukasa Ebihara, Nikolay N. Mirenkov, Masaaki Nemoto, Rikio Nomoto: Filmification Of Methods And An Example Of Its Applications. 87-115
• 
  Anna Formica: Similarity Of Xml-Schema Elements Supported By Domain Ontologies. 117-130

Volume 15, Number 2, April 2005

• 
  Marcelo H. Ang Jr.: Towards Pervasive Robotics: Compliant Motion in Human Environments. 135-146
• 
  Kian Hsiang Low, Heng Wang, Kim-Meow Liew, Yiyu Cai: Modeling and Motion Control of Robotic Hand for Telemanipulation Application. 147-152
• 
  Teck Hong Koh, Francis Eng Hock Tay, M. W. S. Lau, E. Low, Gerald Seet: Design Analysis of The Propulsion and Control System of an Underactuated Remotely Operated Vehicle Using Axiomatic Design Theory - Part 1. 153-160
• 
  Teck Hong Koh, Francis Eng Hock Tay, M. W. S. Lau, E. Low, Gerald Seet: Design Analysis of the PropulsionaAnd Control System of an Underactuated Remotely Operated Vehicle Using Axiomatic Design Theory - Part 2. 161-168
• 
  Adrian David Cheok, Man Fung Ho, Eva Yustina, Shang Ping Lee: Mobile Computing with Personal Area Network and Human Power Generation. 169-176
• 
  Kwong-Luck Tan, Francis Eng Hock Tay, Hugo Van Bever: Sleep Monitoring Devices Using Electric Field (E-Field) Mattress for Children with Eczema. 177-182
• 
  Francis Eng Hock Tay, Myo Naing Nyan, Teck Hong Koh, K. H. W. Seah, Yih Yiow Sitoh: Smart Shirt That Can Call for Help After A Fall. 183-188
• 
  Neelima Iyer, Rupali Khatavkar, Bhagyashree Joshi, Vikram Upadhye: Lilliputian Hardware Platform For Scientific Applications. 189-182
• 
  T. Y. Jiang, J. Guzman, H. Z. Li, Zhiming Gong: The Development of an Embedded, Integrated Ins/Gps System. 193-198
• 
  Karianto Leman, Goel Ankit, T. Tan: Pda Based Human Motion Recognition System. 199-204
• 
  Guolin Xu, Francis Eng Hock Tay, Ciprian Iliescu, Victor Samper: Multi-Channel Biotelemetry System Using Microcontroller with Uhf Transmit Function. 205-214

• 
  Kimmo Keränen, Mikko Karppinen, Jaakko Lenkkeri, Jukka-Tapani Mäkinen, Jyrki Ollila, Pentti Karioja: Ltcc Technology For Photonic and Millimeter Wave Module Integration. 215-224
• 
  Bangtao Chen, Jianmin Miao, Chunkiat Lim, Francis Eng Hock Tay, Ciprian Iliescu: Dynamic Behaviors of High-G Mems Accelerometer Incorporated with Novel Micro-Flexures. 225-230
• 
  Liming Yu, Francis Eng Hock Tay, Guolin Xu, Ciprian Iliescu, Marioara Avram: Theoretical Analysis and Experiment of A Novel Dep Chip With 3-D Silicon Electrodes. 231-236
• 
  Kwong-Luck Tan, Prashant Padmanabhan, Ciprian Iliescu, Francis Eng Hock Tay: Modeling and Analysis of Nanotips for Thermoelectric Coolers. 237-242
• 
  Yanping Bai, Jianzhong Wang, Zhen Jin: Model and Application of Impact Wave in Measuring Dynamic Characteristic of Microstructure. 243-248
• 
  Yi Zhao, Francis Eng Hock Tay, Siong Chau Fook, Guangya Zhou: Control-Oriented Modeling of 2d Torsional Micromirror. 249-258

• 
  Larry Hughes, Hosein Marzi, Yanting Lin: A New Approach in Designing Interprocess Communication for Real-Time Systems. 259-264
• 
  Thu-Thuy Do, Daeyoung Kim, Tomás Sánchez López, Hyunhak Kim, Seongki Hong, Minh-Long Pham, Kwangyong Lee, Seongmin Park: An Evolvable Operating System for Wireless Sensor Networks. 265-270
• 
  Yung Han Tan, Arun Krishnan Thampi, Daley Joseph Sebastian, Yajun Ha: Design of Seamless Protocol Switching Layer for Voice Over Internet Protocol (Voip) That Switches Between Bluetooth and Ieee 802.11. 271-278
• 
  Jia Hui Ng, Chaur Lih Tan, Ya Jun Ha: An Embedded System to Support Tele-Medical Activity. 279-288

• 
  Martin von Mohrenschildt: Predictive Traces in Hybrid Systems. 289-298
• 
  Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers: Case Studies in The Hybrid Process Algebra Hypa. 299-306
• 
  Sebastian Engell, Sven Lohmann, Olaf Stursberg: Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. 307-312
• 
  H. Z. Li, Zhiming Gong, Wei Lin, T. Y. Jiang, Xiaoqi Chen: Dsp-Based Motion Control of a Non-Commutated Dc Linear Motor Module. 313-318
• 
  Mohammed Rafiq Uddin, Gazi Maeen-Ur-Rashid, Md. Shahidul Islam: Microcontroller Based Light Control. 319-324
• 
  Zhong-Qiang Ding, Keck Voon Ling, Kiah Mok Goh: The Rapid Development of A Closed-Loop Control System. 325-334

• 
  Teng-Tiow Tay, Kar Sin Ng, Yan Pan: Hw/Sw Co-Design for Low Power Arithmetic and Logic Units. 335-342
• 
  Andreas Doblander, Dietmar Gösseringer, Bernhard Rinner, Helmut Schwabach: An Evaluation of Model-Based Software Synthesis from Simulink Models for Embedded Video Applications. 343-348
• 
  Manuel A. Pereira Remelhe, Sebastian Engell: Combining Modelica Models with Discrete Event Formalisms for Simulation Using the Des/M Environmentc. 349-356
• 
  Haiping Wu, Ziang Hu, Joseph Manzano, Guang R. Gao: Madd Operation Aware Redundancy Elimination. 357-362
• 
  Sung Ly, Abbas Bigdeli: Extendable and Dynamically Reconfigurable Multi-Protocol Firewall. 363-372
• 
  Jin Song Dong, Ping Hao, Brendan P. Mahony: Formal Designs for Embedded and Hybrid Systems. 373-378
• 
  Sandeep Padmanabhan, Yann-Hang Lee: Efficient State-Saving Architectures for Power-Mode Switching. 379-388
• 
  Timothy Bourke, Arcot Sowmya: Formal Models in Industry Standard Tools: an Argos Block within Simulink. 389-396
• 
  Thao Dang: A Reachability-Based Technique for Idle Speed Control Synthesis. 397-404
• 
  Ivan Radojevic, Zoran A. Salcic, Partha S. Roop: A New Model for Heterogeneous Embedded Systems - What Esterel and SyncCharts Need to Become a Suitable Specification Platform. 405-410
• 
  A. P. Dhande, V. T. Ingole: Design of 3-Valued R-S & D Flip-Flops Based on Simple Ternary Gates. 411-418
• 
  Jesse Davis, Douglas Stark, Nicholas Edmonds: Method Of Interaction In A Modular Architecture For Sensor Systems (Mass). 419-426

• 
  Jun Yao, Jie Chen, Zhaojun Lin: High Performance Mac Unit Using Modified Sign Extension Algorithm and A New High-Speed Alu in Dsp-Core. 427-432
• 
  Md. Shazzad Hosain, Muhammad Abdul Hakim Newton: Multi-Key Index for Distributed Database System. 433-438
• 
  Hosein Marzi: High-Speed Rt Monitoring System Using Neural Networks. 439-446
• 
  Wendong Zhang, Yanping Bai: A Hybrid Elastic Net Method for Solving the Traveling Salesman Problem. 447-454
• 
  Andojo Ongkodjojo Ong, Francis Eng Hock Tay: Pareto Simulated Annealing (Sa)-Based Multi-Objective Optimization for Mems Design and Application. 455-460
• 
  Pao-Ann Hsiung, Hsin-Chieh Kao: Device-Centric Low-Power Scheduling for Real-Time Embedded Systems. 461-466
• 
  Cha Kun Lee, Paul I. Barton: Global Optimization Of Linear Hybrid Systems With Varying Time Events. 467-

Volume 15, Number 3, April 2005

• 
  Jeffrey J. P. Tsai, Du Zhang: Guest Editors' Introduction. 473-474
• 
  Pengyu Hong, Sheng Zhong, Wing Hung Wong: Ubic2 - Towards Ubiquitous Bio-Information Computing: Data Protocols, Middleware, and Web Services for Heterogeneous Biological Information Integration and Retrieval. 475-486
• 
  Ane Tröger, Alvaro A. A. Fernandes: A Language-Based Approach for Comprehensively Supporting the In Silico Experimental Process. 487-510
• 
  Marco Masseroli, Andrea Stella, Myriam Alcalay, Francesco Pinciroli: Genewebex: Gene Annotation Web Extraction, Aggregation, and Updating From Web-Interfaced Biomolecular Databanks. 511-526
• 
  Pin-Hao Chi, Grant J. Scott, Chi-Ren Shyu: A Fast Protein Structure Retrieval System Using Image-Based Distance Matrices and Multidimensional Index. 527-546
• 
  Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini: Semantic Analysis and Synthesis of Complex Biological Systems. 547-570
• 
  Rong-Ming Chen, Falcon F. M. Liu, Jeffrey J. P. Tsai: A Software Architecture for Finding Motifs Using Genetic Algorithm. 571-585

Volume 15, Number 4, August 2005

• 
  Yongsun Cho, Woojin Lee, Kiwon Chong: The Technique of Business Model Driven Analysis and Test Design for Development of Web Applications. 587-606
• 
  Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla: Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage. 607-646
• 
  Richi Nayak, Tian Qiu: A Data Mining Application Analysis of Problems Occurring during a Software Project Development Process. 647-664
• 
  Nestor Rychtyckyj, Robert G. Reynolds: Using Cultural Algorithms to re-engineer Large-scale Semantic Networks. 665-694
• 
  Hongyu Zhang, Stan Jarzabek: A Bayesian Network Approach to Rational Architectural Design. 695-718
• 
  Haiping Xu, Zhiguo Zhang, Sol M. Shatz: A Security Based Model for Mobile Agent Software Systems. 719-746

Volume 15, Number 5, October 2005

• 
  George Spanoudakis, Andrea Zisman: Guest Editors' Introduction. 747-750
• 
  Jane Huffman Hayes, Alex Dekhtyar: A Framework for Comparing Requirements Tracing Experiments. 751-782
• 
  Alexander Egyed, Paul Grünbacher: Supporting Software Understanding with Automated Requirements Traceability. 783-810
• 
  Andrian Marcus, Jonathan I. Maletic, Andrey Sergeyev: Recovery of Traceability Links between Software Documentation and Source Code. 811-836
• 
  Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng: Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations. 837-872
• 
  Hazem El-Gendy, Nabil El-Kadhi: Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications. 873-892
• 
  Stephen G. MacDonell, Andrew R. Gray: The Viability of Fuzzy Logic Modeling in Software Development Effort Estimation: Opinions and Expectations of Project Managers. 893-918

Volume 15, Number 6, December 2005

• 
  Nenad Stankovic: Guest Editor's Introduction. 919-922
• 
  Jussipekka Leiwo, Teemupekka Virtanen: Understanding and Communicating It Security Specifications with Uml. 923-940
• 
  Robert R. Roxas, Nikolay N. Mirenkov: "cyber-film": a Visual Approach that Facilitates Program Comprehension. 941-974
• 
  José Luis Sierra, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor, Antonio Navarro: Document-oriented Development of Content-intensive Applications. 975-994
• 
  Welf Löwe, Thomas Panas: Rapid Construction of Software Comprehension Tools. 995-1026
• 
  Yang Li, Hongji Yang, Xiao-Chun Cheng, Xiao-Yan Zhu: Programming Style Based Program Partition. 1027-1062
• 
  Anthony Savidis, Margherita Antona, Constantine Stephanidis: A Decision-making Specification Language for Verifiable User-interface Adaptation Logic. 1063-1094

last updated on Tue May 21 03:03:44 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page