722 search results - page 38 / 145 » The State Operator in Real Time Process Algebra |
121
click to vote
EUROMICRO
1999
IEEE
15 years 4 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We present an application of a multi-agent cooperative search approach to the problem of optimizing gas pipeline operations, i.e. finding control parameters for a gas transmission...
109
click to vote
HYBRID
1997
Springer
15 years 4 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
113
click to vote
VIS
2004
IEEE
16 years 1 months ago
2004
IEEE
We present a tool for real-time visualization of motion features in 2D image sequences. The motion is estimated through an eigenvector analysis of the spatiotemporal structure ten...
SCS
2004
15 years 1 months ago
2004
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...