Volume 15,
Number 1,
February 2005
Regular Papers
Volume 15,
Number 2,
April 2005
Applications
- Marcelo H. Ang Jr.:
Towards Pervasive Robotics: Compliant Motion in Human Environments.
135-146
Electronic Edition (link) BibTeX
- Kian Hsiang Low, Heng Wang, Kim-Meow Liew, Yiyu Cai:
Modeling and Motion Control of Robotic Hand for Telemanipulation Application.
147-152
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Adrian David Cheok, Man Fung Ho, Eva Yustina, Shang Ping Lee:
Mobile Computing with Personal Area Network and Human Power Generation.
169-176
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Neelima Iyer, Rupali Khatavkar, Bhagyashree Joshi, Vikram Upadhye:
Lilliputian Hardware Platform For Scientific Applications.
189-182
Electronic Edition (link) BibTeX
- T. Y. Jiang, J. Guzman, H. Z. Li, Z. M. Gong:
The Development of an Embedded, Integrated Ins/Gps System.
193-198
Electronic Edition (link) BibTeX
- Karianto Leman, Goel Ankit, T. Tan:
Pda Based Human Motion Recognition System.
199-204
Electronic Edition (link) BibTeX
- Guolin Xu, Francis Eng Hock Tay, Ciprian Iliescu, Victor Samper:
Multi-Channel Biotelemetry System Using Microcontroller with Uhf Transmit Function.
205-214
Electronic Edition (link) BibTeX
Sensors and Actuators
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Kwong-Luck Tan, Prashant Padmanabhan, Ciprian Iliescu, Francis Eng Hock Tay:
Modeling and Analysis of Nanotips for Thermoelectric Coolers.
237-242
Electronic Edition (link) BibTeX
- Yanping Bai, Jianzhong Wang, Zhen Jin:
Model and Application of Impact Wave in Measuring Dynamic Characteristic of Microstructure.
243-248
Electronic Edition (link) BibTeX
- Yi Zhao, Francis Eng Hock Tay, Siong Chau Fook, Guangya Zhou:
Control-Oriented Modeling of 2d Torsional Micromirror.
249-258
Electronic Edition (link) BibTeX
Communications
- Larry Hughes, Hosein Marzi, Yanting Lin:
A New Approach in Designing Interprocess Communication for Real-Time Systems.
259-264
Electronic Edition (link) BibTeX
- Thu-Thuy Do, Daeyoung Kim, Tomas Sanchez Lopez, Hyunhak Kim, Seongki Hong, Minh-Long Pham, Kwangyong Lee, Seongmin Park:
An Evolvable Operating System for Wireless Sensor Networks.
265-270
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Jia Hui Ng, Chaur Lih Tan, Ya Jun Ha:
An Embedded System to Support Tele-Medical Activity.
279-288
Electronic Edition (link) BibTeX
Hybrid Systems and Control
- Martin von Mohrenschildt:
Predictive Traces in Hybrid Systems.
289-298
Electronic Edition (link) BibTeX
- Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers:
Case Studies in The Hybrid Process Algebra Hypa.
299-306
Electronic Edition (link) BibTeX
- Sebastian Engell, Sven Lohmann, Olaf Stursberg:
Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics.
307-312
Electronic Edition (link) BibTeX
- H. Z. Li, Zhiming Gong, W. Lin, T. Y. Jiang, Xiaoqi Chen:
Dsp-Based Motion Control of a Non-Commutated Dc Linear Motor Module.
313-318
Electronic Edition (link) BibTeX
- Mohammed Rafiq Uddin, Gazi Maeen-Ur-Rashid, Md. Shahidul Islam:
Microcontroller Based Light Control.
319-324
Electronic Edition (link) BibTeX
- Zhong-Qiang Ding, Keck Voon Ling, Kiah Mok Goh:
The Rapid Development of A Closed-Loop Control System.
325-334
Electronic Edition (link) BibTeX
Models and Design
- Teng-Tiow Tay, Kar Sin Ng, Yan Pan:
Hw/Sw Co-Design for Low Power Arithmetic and Logic Units.
335-342
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Manuel A. Pereira Remelhe, Sebastian Engell:
Combining Modelica Models with Discrete Event Formalisms for Simulation Using the Des/M Environmentc.
349-356
Electronic Edition (link) BibTeX
- Haiping Wu, Ziang Hu, Joseph Manzano, Guang R. Gao:
Madd Operation Aware Redundancy Elimination.
357-362
Electronic Edition (link) BibTeX
- Sung Ly, Abbas Bigdeli:
Extendable and Dynamically Reconfigurable Multi-Protocol Firewall.
363-372
Electronic Edition (link) BibTeX
- Jin Song Dong, Ping Hao, Brendan P. Mahony:
Formal Designs for Embedded and Hybrid Systems.
373-378
Electronic Edition (link) BibTeX
- Sandeep Padmanabhan, Yann-Hang Lee:
Efficient State-Saving Architectures for Power-Mode Switching.
379-388
Electronic Edition (link) BibTeX
- Timothy Bourke, Arcot Sowmya:
Formal Models in Industry Standard Tools: an Argos Block within Simulink.
389-396
Electronic Edition (link) BibTeX
- Thao Dang:
A Reachability-Based Technique for Idle Speed Control Synthesis.
397-404
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- A. P. Dhande, V. T. Ingole:
Design of 3-Valued R-S & D Flip-Flops Based on Simple Ternary Gates.
411-418
Electronic Edition (link) BibTeX
- Jesse Davis, Douglas Stark, Nicholas Edmonds:
Method Of Interaction In A Modular Architecture For Sensor Systems (Mass).
419-426
Electronic Edition (link) BibTeX
Algorithms
Volume 15,
Number 3,
April 2005
- Jeffrey J. P. Tsai, Du Zhang:
Guest Editors' Introduction.
473-474
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Ane Tröger, Alvaro A. A. Fernandes:
A Language-Based Approach for Comprehensively Supporting the In Silico Experimental Process.
487-510
Electronic Edition (link) BibTeX
- Marco Masseroli, Andrea Stella, Myriam Alcalay, Francesco Pinciroli:
Genewebex: Gene Annotation Web Extraction, Aggregation, and Updating From Web-Interfaced Biomolecular Databanks.
511-526
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini:
Semantic Analysis and Synthesis of Complex Biological Systems.
547-570
Electronic Edition (link) BibTeX
- Rong-Ming Chen, Falcon F. M. Liu, Jeffrey J. P. Tsai:
A Software Architecture for Finding Motifs Using Genetic Algorithm.
571-585
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Richi Nayak, Tian Qiu:
A Data Mining Application Analysis of Problems Occurring during a Software Project Development Process.
647-664
Electronic Edition (link) BibTeX
- Nestor Rychtyckyj, Robert G. Reynolds:
Using Cultural Algorithms to re-engineer Large-scale Semantic Networks.
665-694
Electronic Edition (link) BibTeX
- Hongyu Zhang, Stan Jarzabek:
A Bayesian Network Approach to Rational Architectural Design.
695-718
Electronic Edition (link) BibTeX
- Haiping Xu, Zhiguo Zhang, Sol M. Shatz:
A Security Based Model for Mobile Agent Software Systems.
719-746
Electronic Edition (link) BibTeX
Volume 15,
Number 5,
October 2005
Special Issue:
Software Traceability
Volume 15,
Number 6,
December 2005
Special Issue:
Software Artifacts Comprehension
- Nenad Stankovic:
Guest Editor's Introduction.
919-922
Electronic Edition (link) BibTeX
- Jussipekka Leiwo, Teemupekka Virtanen:
Understanding and Communicating It Security Specifications with Uml.
923-940
Electronic Edition (link) BibTeX
- Robert R. Roxas, Nikolay N. Mirenkov:
"cyber-film": a Visual Approach that Facilitates Program Comprehension.
941-974
Electronic Edition (link) BibTeX
- José Luis Sierra, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor, Antonio Navarro:
Document-oriented Development of Content-intensive Applications.
975-994
Electronic Edition (link) BibTeX
- Welf Löwe, Thomas Panas:
Rapid Construction of Software Comprehension Tools.
995-1026
Electronic Edition (link) BibTeX
- Yang Li, Hongji Yang, Xiao-Chun Cheng, Xiao-Yan Zhu:
Programming Style Based Program Partition.
1027-1062
Electronic Edition (link) BibTeX
- Anthony Savidis, Margherita Antona, Constantine Stephanidis:
A Decision-making Specification Language for Verifiable User-interface Adaptation Logic.
1063-1094
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:03:13 2009
by Michael Ley (ley@uni-trier.de)
