503 search results - page 33 / 101 » Real-time Property Preservation in Approximations of Timed S... |
ARTS
1997
Springer
14 years 29 days 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...
ICCV
2005
IEEE
14 years 10 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...
RTSS
2008
IEEE
14 years 3 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...
ICASSP
2007
IEEE
14 years 3 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...
DBSEC
2004
13 years 10 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...