446 search results - page 50 / 90 » Modal Logics for Timed Control |
DFG
2004
Springer
14 years 2 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
DFG
2004
Springer
14 years 24 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...
CADE
1992
Springer
14 years 1 months ago
1992
Springer
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Middleware technologies often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies that they impose. These policies...