Table of Contents

• Tunable Current-Mode Multifunction Filter Using Universal Current ConveyorsNorbert Herencsar, Kamil Vrba. 1-6 [doi]
• Coordinating Almost Synchronous Communication StreamsWalter Dosch. 7-15 [doi]
• FINE: A Fully Informed aNd Efficient Communication-Induced Checkpointing ProtocolYi Luo, D. Manivannan. 16-22 [doi]
• An Efficient Hardware Implementation of the Tate Pairing in Characteristic ThreeGiray Kömürcü, Erkay Savas. 23-28 [doi]
• A State Feedback Strategy for Decoupling a Class of Multivariable SystemsMasoud Karimi-Ghartemani, Mohammad Mobed. 29-34 [doi]
• Dynamic Modeling and Control of Nonholonomic Mobile Robot with Lateral SlipNaim Sidek, Nilanjan Sarkar. 35-40 [doi]
• An Evaluation of QoS Management Approaches in Real-Time DatabasesSalwa M barek, Leila Baccouche, Henda Hajjami Ben Ghézala. 41-46 [doi]
• Digital Synchronization Utilizing Harmonic Signal Generator for Capacitive Pressure Sensor MeasurementLukas Fujcik, Radimir Vrba, Linus Michaeli, Jiri Haze. 47-50 [doi]
• Performance Evaluation of Load Control Techniques in SIP Signaling ServersSergio Montagna, Maurizio Pignolo. 51-56 [doi]
• Second-Order State-Variable Filter with Current Operational AmplifiersDavid Kubanek, Kamil Vrba. 57-61 [doi]
• Optimizing Secure Collaboration Transactions for Modern Information SystemsRichard Whittaker, Gonzalo Argote-Garcia, Peter J. Clarke, Raimund K. Ege. 62-68 [doi]
• Meta-Design Support for Safe and Secure Networked Embedded SystemsMiroslav Svéda, Radimir Vrba. 69-74 [doi]
• Derivation of Classes from Use Cases Automatically Generated by a Three-Level Sentence Processing AlgorithmReynaldo Giganto, Tony Smith. 75-80 [doi]
• A Microconductometer Utilizing Bipolar Pulse Method for Electro-Chemical SensorsLukas Fujcik, Radimir Vrba, Roman Prokop, Jaromir Hubalek, Pavel Steffan, Hana Hornochova. 81-84 [doi]
• OCTOPODA: Building Financial Gateways Family System Using Domain Specific KitsN. Ilker Altintas, Semih Cetin, Mehmet Surav. 85-92 [doi]
• Carbon Nanostructures in MEMS ApplicationsRichard Ficek, Radimir Vrba, Ondrej Jasek, Marek Elias, Lenka Zajickova, Hana Hornochova. 93-96 [doi]
• Derivation of Tests from Timed Specifications According to Different Coverage CriteriaMercedes G. Merayo, Manuel Núñez. 97-102 [doi]
• Power-Aware Test Framework for Network-on-ChipByung-Gyu Ahn, Jun-Mo Jung, Jong-Wha Chong. 103-107 [doi]
• Developing Virtual Heritage Application with 3D Collaborative Virtual Environments and Mobile Devices in a Multi-cultural Team: Experiences and ChallengesEkaterina Prasolova-Førland, Theodor G. Wyeld, Anders E. Lindås. 108-113 [doi]
• Tunable Universal OTA-C Frequency Filter Design Using Signal-Flow GraphsMartin Minarcik, Kamil Vrba. 114-117 [doi]
• Formal Development of a Complex Information SystemCésar Andrés, Mercedes G. Merayo, Manuel Núñez. 118-123 [doi]
• Embedded Systems Scheduling MonitoringZdenek Slanina, Vilém Srovnal. 124-127 [doi]
• Regularized Structured Total Least Norm for the Identification of Bilinear Systems in the Errors-in-Variables FrameworkTomasz Larkowski, Jens G. Linden, Benoit Vinsonneau, Keith J. Burnham. 128-133 [doi]
• Non-destructive Evaluation and Flaw Visualization Using an Eddy Current ProbeRafic Bachnak, Scott King. 134-139 [doi]
• Audio Digital Watermarking Algorithm Based on SVD in MCLT DomainRadek Zezula, Jiri Misurec. 140-143 [doi]
• SmartWorld: More than Meets the Eye in Enterprise Application IntegrationIsmael Rivera, Myriam Mencke, Juan Miguel Gómez, Rubén Posada-Gómez, Ángel García-Crespo. 144-149 [doi]
• Guardian - Personal Biotelemetric SystemDalibor Janckulík, Ondrej Krejcar, Jan Martinovic. 150-155 [doi]
• Searching for a New Non-Invasive Method of Blood Circulation System DiagnosticsKamil Ríha, Radim Cíz. 156-161 [doi]
• Accessibility and Supporting Technologies in M-Learning StandardizationLuis E. Anido-Rifón. 162-167 [doi]
• Generalized Distributed Multi-antenna Architecture Based Location Technology for Beyond 3G SystemsXu Xiaodong, Tao Xiaofeng, Zhang Hui, Hao Zhijie, Zhang Ping. 168-173 [doi]
• Divergence and Power Variations in Mobile Free-Space Optical CommunicationsAlan Harris, Tayeb Giuma. 174-178 [doi]
• A Way to Boost the Data Transfer Speed in Control and Information SystemsOndrej Krejcar. 179-183 [doi]
• Assessing Wireless Network Dependability through Knowledge Extraction via Decision TreesG. Weckman, A. Snow, Preeti Rastogi, M. Rangwala. 184-189 [doi]
• A Systems Engineering Approach to Exception HandlingHerbert Hecht. 190-195 [doi]
• Analysis of Hybrid Systems Using HySATChristian Herde, Andreas Eggers, Martin Fränzle, Tino Teige. 196-201 [doi]
• Elicitation and Specification of Safety RequirementsElena Troubitsyna. 202-207 [doi]
• Safe Wireless Communication Solution for Driver Machine Interface for Train Control SystemsJesper Grønbæk, Tatiana K. Madsen, Hans-Peter Schwefel. 208-213 [doi]
• Characterizing and Detecting Virus ReplicationJose Andre Morales, Peter J. Clarke, Yi Deng. 214-219 [doi]
• Communication Security between a Computer and a Hardware TokenHongQian Karen Lu, Asad Ali. 220-225 [doi]
• NetFailPAC: A Single Failure Protection Algorithm with QoS Provision for Optical WDM NetworksW. Grote, A. Arenas, A. Zapata. 226-229 [doi]
• ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEmCésar Andrés, Manuel Núñez. 230-234 [doi]
• A High-Performance Wireless Sensor Node for Industrial Control ApplicationsMichele Paselli, Frederik Petré, Olivier Rousseaux, Guy Meynants, Bert Gyselinckx, Marc Engels, Luca Benini. 235-240 [doi]
• Collaborative OpenSocial Network Dataset Based Email Ranking and FilteringIsmael Rivera, Myriam Mencke, Juan Miguel Gómez, Giner Alor-Hernández, Ángel García-Crespo. 241-246 [doi]
• Towards Advance Reservation in Large-Scale GridsLeonardo Kunrath, Carlos Becker Westphall, Fernando Luiz Koch. 247-252 [doi]
• Self-Configuring User-Centric Communication ServicesAndrew A. Allen, Sean Leslie, Yali Wu, Peter J. Clarke, Ricardo Tirado. 253-259 [doi]
• Electronically Tunable Frequency Filters Based on Transformation CellsJaroslav Koton, Kamil Vrba. 260-264 [doi]
• Simulation Based Evaluation of Methods for Improving Database Systems EfficiencyIwona Pozniak-Koszalka, Dawid Pichen. 265-270 [doi]
• Using User Preferences to Enhance Privacy in Pervasive SystemsElizabeth Papadopoulou, Sarah McBurney, Nick Taylor, M. Howard Williams, Kajetan Dolinar, Martin Neubauer. 271-276 [doi]
• EDF Feasibility Conditions with Kernel Overheads on an Event Driven OSEK SystemFranck Bimbard, Laurent George. 277-284 [doi]
• Novel Universal Filter Using Only Two Current Active ElementsJan Jerabek, Kamil Vrba. 285-289 [doi]
• Application-Oriented Distributed Sensor NetworkPerfecto Mariño, Fernando Pérez-Fontán, Miguel Angel Domínguez, Santiago Otero. 290-295 [doi]
• Noise Generator with DSP96002Zdenek Dokoupil, Karel Bartusek, Eva Gescheidtova. 296-299 [doi]
• A New Enterprise Customer and Supplier Cooperative System Framework Based on Multiple Criteria Decision-MakingXiang Liu. 300-305 [doi]
• Geometric Visualization: How to Acquire It Using Dynamic Geometry Systems?Cabral Lima, George Alves, Adriana Soares. 306-311 [doi]
• Analysis of MR Images Deformed by Magnetic ImplantsKarel Bartusek, Zdenek Smékal, Eva Gescheidtova. 312-316 [doi]
• Embedded Firmware Development with Multi-way BranchingVáclav Dvorák. 317-322 [doi]
• Pervasive Layered Verification of a Distributed Real-Time SystemSteffen Knapp. 323-328 [doi]
• Design of Phase Locked-Loop for Very Slow Sine-Wave SignalsJiri Haze, Radimir Vrba, Roman Prokop. 329-333 [doi]
• Modeling and Analyzing of a Time-Triggered Protocol for Automotive SystemsBo Zhang. 334-340 [doi]
• Switched Current Flash Analog to Digital ConverterMichal Pavlik, Michal Kuban, Radimir Vrba. 341-344 [doi]
• A Reliability Enhancing Mechanism for a Large Flash Embedded Satellite Storage SystemSoraya Zertal. 345-350 [doi]
• Attack Detection for Resource-Constrained Network DevicesHongQian Karen Lu. 351-356 [doi]
• SOPC Co-design Platform for UWB System in Wireless Sensor Network ContextDaniela Dragomirescu, Aubin Lecointre, Robert Plana. 357-362 [doi]
• Smart Differential Pressure Sensor with Bluetooth Communication InterfacePavel Steffan, Michal Pavlik, Radimir Vrba. 363-367 [doi]
• Using Memcached for Data Distribution in Industrial EnvironmentJure Petrovic. 368-372 [doi]
• Precise Measurement of Wireless Network Roaming Functionality and Network Component Parameters Applied for Automation SystemsJaroslav Kadlec, Jan Beran, Radimir Vrba. 373-376 [doi]
• Electrodes for Biotelemetry and Home Care ApplicationsMiroslav Rosulek, Marek Penhaker. 377-380 [doi]
• WebLAut: A Universal Human-Machine Interface for Process VisualizationAli Malek-Zadeh, Heinrich Dietsch. 381-385 [doi]