8623 search results - page 1497 / 1725 » Software engineering for secure systems |
164
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
160
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
182
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
—Traditional search systems are usually based on keywords, a very simple and convenient mechanism to express a need for information. This is the most extended way of searching th...
150
click to vote
EUMAS
2006
15 years 8 months ago
2006
Fault tolerance is an important property of large-scale multiagent systems as the failure rate grows with both the number of the hosts and deployed agents, and the duration of com...
161
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: Runtime reconfiguration considered as "applying required changes to a running system" plays an important role for providing high availability not only of safety- and mi...