503 search results - page 33 / 101 » Real-time Property Preservation in Approximations of Timed S... |
140
click to vote
ARTS
1997
Springer
15 years 5 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...
117
click to vote
ICCV
2005
IEEE
16 years 3 months ago
2005
IEEE
Many parameter estimation problems admit divide and conquer or partitioning techniques in order to reduce a highdimensional task into several reduced-dimension problems. These tec...
118
click to vote
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
—Wormhole switching with fixed priority preemption has been proposed as a possible solution for real-time on-chip communication. However, none of current priority assignment pol...
229
click to vote
ICASSP
2007
IEEE
15 years 7 months ago
2007
IEEE
Segmentation and tracking methods have been widely explore. However, they are often computationally heavy or require constraining assumptions. We present in this paper a new syste...
112
click to vote
DBSEC
2004
15 years 2 months ago
2004
Real-time update of access control policies, that is, updating policies while they are in effect and enforcing the changes immediately, is necessary for many security-critical appl...