813 search results - page 39 / 163 » Correctness Properties for Multiagent Systems |
121
click to vote
ACAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents in-formation flocking, a novel information visualization technique that extends the original information flocking concept with dynamic and data-driven visual fo...
145
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
142
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
127
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper is on the Consensus problem, in the context of asynchronous distributed systems made of n processes, at most f of them may crash. A family of failure detector classes s...
121
Voted
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an agent-based software environment for testing web-based applications. The infrastructure of the system consists of a lightweight agent platform that supports...