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

Real Time Knowledge Management: Providing the Knowledge Just-In-Time
by: Levy, Moria
Published: (2012)

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

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

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)

Real-Time Dual-Microphone Speech Enhancement
by: Abdelaziz, Trabelsi, 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)

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

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

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

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

Real-Time Heterodyne Interferometry with Correlation Image Sensor
by: Kimachi, Akira
Published: (2012)

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

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

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

Overview of Real-Time PCR Principles
by: Seifi, Morteza, et al.
Published: (2012)

Using the oracle toolset /
by: Krohn, Mike
Published: (1993)

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

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)

Real-Time Operating Systems and Programming Languages for Embedded Systems
by: Orozco, Javier D., 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)

ORACLE : the complete reference /
by: Koch, George
Published: (1990)

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

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

Time and Light
by: Peshko, Igor
Published: (2012)

Ordained by the oracle
by: Konadu, Asare, 1932-
Published: (1969)

Matlab-Based Algorithm for Real Time Analysis of Multiexponential Transient Signals
by: Salami, Momoh-Jimoh E., et al.
Published: (2012)

Rotation Angle Estimation Algorithms for Textures and Their Implementations on Real Time Systems
by: Ulas, Cihan, et al.
Published: (2012)

Real-Time Multimedia Stream Data Processing in a Supercomputer Environment
by: Krawczyk, Henryk, et al.
Published: (2012)

Real-Time Concurrency Control Protocol Based on Accessing Temporal Data
by: Han, Qilong
Published: (2012)

Real Time Radio Frequency Exposure for Bio-Physical Data Acquisition
by: Paffi, Alessandra, et al.
Published: (2012)

Real-Time Measurement of Three Dimensional Weld Pool Surface in GTAW
by: Zhang, Wei Jie, et al.
Published: (2012)

Real Time Implementation of Digital Watermarking Algorithm for Image and Video Application
by: Joshi, Amit, et al.
Published: (2012)

A Real-Time Gradient Method for Nonlinear Model Predictive Control
by: Graichen, Knut, et al.
Published: (2012)

A Matlab® Approach for Implementing Control Algorithms in Real-Time: RTWT
by: Hernandez, Andres, et al.
Published: (2011)

Computer-Generated Phase-Only Holograms for Real-Time Image Display
by: Buckley, Edward
Published: (2011)

Post-Biological Agency in Real-Time Mixed Reality Data Transfer
by: Stadon, Julian
Published: (2011)