5639 search results - page 174 / 1128 » Timed Abstract Non-interference |
117
click to vote
IJCM
2002
15 years 1 months ago
2002
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
178
click to vote
ADMI
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Autonomous agents are systems situated in dynamic environments. They pursue goals and satisfy their needs by responding to external events from the environment. In these ...
129
click to vote
ICFEM
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
152
click to vote
ISNN
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. A forecasting approach based on Multi-Layer Perceptron (MLP) Artificial Neural Networks (named by the authors MULP) is proposed for the NN5 111 time series long-term, out...
132
click to vote
GLOBECOM
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--In multinode cooperative communications, simultaneous transmissions from two or more nodes are challenging due to its asynchronous nature. In addition, channel estimation...