default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIJSEKE, Volume 15
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, Eicher 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, Eicher Low, Gerald Seet:
Design Analysis of the Propulsion and 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, Huaizhong Li, Zhiming Gong:
The Development of an Embedded, Integrated Ins/Gps System. 193-198 - Karianto Leman, Goel Ankit, Tele 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, Yajun 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 - Huaizhong 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 B. 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 Gerard 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é Juan 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, Xiaoyan 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
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.
last updated on 2026-01-19 21:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
