Construction of Real-Time Oracle Using Timed Automata

QR Code

Construction of Real-Time Oracle Using Timed Automata

None

Saved in:

Bibliographic Details
Main Authors:	Babamir, Seyed Morteza, Dehkordi, Mehdi Borhani
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/35319
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Linearly Time Efficiency in Unattended Wireless Sensor Networks
by: Babamir, Faezeh Sadat, et al.
Published: (2012)

A Framework of Variant Logic Construction for Cellular Automata
by: Zheng, Jeffrey Z.J., et al.
Published: (2011)

Biophysical Modeling using Cellular Automata
by: Pfeifer, Bernhard
Published: (2011)

Segmentation with Learning Automata
by: Cuevas, Erik, et al.
Published: (2011)

Real-Time Algorithms of Object Detection Using Classifiers
by: Juranek, Roman, et al.
Published: (2012)

Precise Real-Time Positioning Using Network RTK
by: El-Mowafy, Ahmed
Published: (2012)

Studies on Population Dynamics Using Cellular Automata
by: Jafelice, Rosana Motta, et al.
Published: (2011)

Real-Time Control in Robotic Systems
by: Simpkins, Alex
Published: (2012)

Real-Time Robotic Hand Control Using Hand Gestures
by: Raheja, Jagdish Lal, et al.
Published: (2012)

Cryptography in Quantum Cellular Automata
by: Amiri, Mohammad Amin, et al.
Published: (2011)

Cellular Automata for Bus Dynamics
by: Huang, Ding-wei, et al.
Published: (2011)

Optimized Method for Real Time Nonlinear Control
by: Rafic, Younes, et al.
Published: (2012)

Handling Overload Conditions in Real-Time Systems
by: Buttazzo, Giorgio C.
Published: (2012)

Real-Time Analysis to Evaluate Crystallization Processes
by: Silva, João F.Cajaiba da, et al.
Published: (2012)

Real-Time Dual-Microphone Speech Enhancement
by: Abdelaziz, Trabelsi, et al.
Published: (2012)

Specification and Validation of Real-Time Systems Using UML Sequence Diagrams
by: Huzar, Zbigniew, et al.
Published: (2012)

Point Automata Method for Dendritic Growth
by: Lorbiecka, Agnieszka Zuzanna, et al.
Published: (2011)

Cellular Automata for Medical Image Processing
by: Wongthanavasu, Sartra
Published: (2011)

Cellular Automata Modeling of Biomolecular Networks
by: Bonchev, Danail
Published: (2011)

Cellular Automata Modelling of the Diffusion of Innovations
by: Kocsis, Gergely, et al.
Published: (2011)

Propositional Proof Complexity and Cellular Automata
by: Cavagnetto, Stefano
Published: (2011)

Quality of Service Scheduling in the Firm Real-Time Systems
by: Queudet-Marchand, Audrey, et al.
Published: (2012)

Real-Time Optimal Guidance and Obstacle Avoidance for UMVs
by: Yakimenko, Oleg A., et al.
Published: (2011)

Real-Time Video Face Recognition for Embedded Devices
by: Costache, Gabriel, et al.
Published: (2011)

Real-Time Stress Detection by Means of Physiological Signals
by: Santos, Alberto De, et al.
Published: (2011)

Real Time Robust Embedded Face Detection Using High Level Description
by: Khattab, Khalil, et al.
Published: (2011)

Modeling of Macrostructure Formation during the Solidification by using Frontal Cellular Automata
by: Svyetlichnyy, Dmytro S.
Published: (2011)

Mesoscopic Modelling of Metallic Interface Evolution Using Cellular Automata Model
by: Taleb, Abdelhafed., et al.
Published: (2011)

Cellular Automata based Artificial Financial Market
by: Ding, Jingyuan
Published: (2011)

Real-Time Operating Systems and Programming Languages for Embedded Systems
by: Orozco, Javier D., et al.
Published: (2012)

Real-Time Motion Processing Estimation Methods in Embedded Systems
by: Botella, Guillermo, et al.
Published: (2012)

Real-Time Low-Latency Estimation of the Blinking and EOG Signals
by: ́nski, Robert Krupi, et al.
Published: (2012)

Enabling Real-Time Business Intelligence by Stream Data Mining
by: Fong, Simon, et al.
Published: (2011)

Real-Time Monitoring of Volatile Organic Compounds in Hazardous Sites
by: Manes, Gianfranco, et al.
Published: (2011)

Conservative Reversible Elementary Cellular Automata and their Quantum Computations
by: Al-Rabadi, Anas N.
Published: (2011)

Quantum Cellular Automata Controlled Self-Organizing Networks
by: Gyongyosi, Laszlo, et al.
Published: (2011)

Cellular-Automata-Based Simulation of the Settlement Development in Vienna
by: Koenig, Reinhard, et al.
Published: (2011)

Network Systems Modelled by Complex Cellular Automata Paradigm
by: Topa, Pawel
Published: (2011)

Real-Time Distance Measurement for Indoor Positioning System Using Spread Spectrum Ultrasonic Waves
by: Suzuki, Akimasa, et al.
Published: (2012)

Real-time Multi-Face Recognition and Tracking Techniques Used for the Interaction between Humans and Robots
by: Fahn, Chin-Shyurng, et al.
Published: (2011)