15644 search results - page 263 / 3129 » Brittle System Analysis |
78
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
154
click to vote
CDC
2009
IEEE
15 years 10 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 ...
168
click to vote
AOSE
2006
Springer
15 years 10 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...
166
click to vote
ECBS
2005
IEEE
16 years 8 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...