704 search results - page 103 / 141 » Building Distributed Access Control System Using Service-Ori... |
130
click to vote
ARTS
1997
Springer
15 years 4 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
104
click to vote
IEEESP
2008
15 years 15 days ago
2008
Today, critical infrastructures like the power grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other i...
114
click to vote
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
149
Voted
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
112
click to vote
WSC
1994
15 years 1 months ago
1994
Stroboscope is a programming language designed for the simulation of processes common to construction engineering. These processes are very complex and involve many different type...