813 search results - page 86 / 163 » Correctness Properties for Multiagent Systems |
144
click to vote
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
110
click to vote
MVA
1992
15 years 4 months ago
1992
This paper proposes a system for the background image generation by cooperative parallel processingunder the severe outdoor environmental conditions, which are ever changing in na...
175
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
149
Voted
ISORC
2003
IEEE
15 years 9 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
149
Voted
CCR
2004
15 years 3 months ago
2004
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...