Sciweavers

3389 search results - page 276 / 678
» Real-Time and Fault-Tolerant Systems
Sort
View
FASE
2000
Springer
15 years 10 months ago
A Process Algebra for Real-Time Programs
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
Henning Dierks
IDEAL
2000
Springer
15 years 10 months ago
Real-Time Web Data Mining and Visualisation
This paper presents new services for intelligent monitoring and visualising user accesses to a university's web site. These are based on the use of data mining techniques to p...
Li Bai, Ni Guohua
VMV
2008
116views Visualization» more  VMV 2008»
15 years 8 months ago
Robust Real-Time SFM in a Combined Formulation of Tracking and Reconstruction
Recently it was observed, that a combined formulation of tracking and reconstruction increases the robustness and accuracy of both these steps in structure-from-motion problems [9...
Olaf Kähler, Joachim Denzler
WSC
1998
15 years 8 months ago
Application of Real-Time Simulation to Assign Due Dates on Logistic-manufacturing Networks
This paper presents the application of real-time simulation to assign due dates on logistic-manufacturing networks. Information from the manufacturing, transportation, and supplie...
Alex J. Ruiz-Torres, Kazuo Nakatani
ANSOFT
1999
85views more  ANSOFT 1999»
15 years 6 months ago
Modeling Concurrent Real-Time Processes Using Discrete Events
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
Edward A. Lee