722 search results - page 47 / 145 » The State Operator in Real Time Process Algebra |
WSC
2000
15 years 1 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
167
click to vote
ECCV
2002
Springer
16 years 27 days ago
2002
Springer
The context of this work is lateral vehicle control using a camera as a sensor. A natural tool for controlling a vehicle is recursive filtering. The well-known Kalman fil...
SRDS
2003
IEEE
15 years 5 months ago
2003
IEEE
We propose service continuations (SC), an OS mechanism that supports seamless dynamic migration of Internet service sessions between cooperating multi-process servers. Service con...
WSC
1997
15 years 1 months ago
1997
This paper highlights a project performed by TASC for Armstrong Laboratories, Wright-Patterson AFB. This project describes a simulation tool to help wing-level planners at an Air ...
119
click to vote
CONCUR
1992
Springer
15 years 3 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...