2020 search results - page 62 / 404 » Modeling Probe-Agent Distributed System by Goal-oriented App... |
141
click to vote
SRDS
1993
IEEE
15 years 6 months ago
1993
IEEE
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...
109
Voted
ICMAS
1998
15 years 3 months ago
1998
This paper explores the increasing the heterogeneity of an agent population to stabilize decentralized systems by adding bias terms to each agent's expected payoffs. Two appr...
131
Voted
DAC
1999
ACM
15 years 6 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
124
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
138
click to vote
ENTCS
2008
15 years 2 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...