15644 search results - page 263 / 3129 » Brittle System Analysis |
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
178
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
193
click to vote
AOSE
2006
Springer
15 years 11 months ago
2006
Springer
Recently, multi-agent systems have proved to be a suitable approach to the development of real-life information systems. In particular, they are used in the domain of safety critic...
180
click to vote
ECBS
2005
IEEE
16 years 27 days ago
2005
IEEE
At the 2004 Engineering of Computer Based Systems (ECBS) Technical Committee meeting, the ECBS Executive Committee agreed that a guideline on Integrated System and Software Engine...