1429 search results - page 44 / 286 » An Overview of the Annex System |
86
Voted
CEEMAS
2001
Springer
15 years 5 months ago
2001
Springer
The paper focuses on the application of a multi-agent system for a management process. The presented system is working on the structure of graph, where nodes represent decision mod...
140
Voted
CODES
2011
IEEE
14 years 14 days ago
2011
IEEE
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
130
click to vote
FEDCSIS
2011
14 years 10 days ago
2011
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...
123
click to vote
CISS
2011
IEEE
14 years 4 months ago
2011
IEEE
—In this work we address the problem of state estimation in dynamical systems using recent developments in compressive sensing and sparse approximation. We formulate the traditio...
104
Voted
VOSS
2004
Springer
15 years 6 months ago
2004
Springer
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper...