2020 search results - page 14 / 404 » Modeling Probe-Agent Distributed System by Goal-oriented App... |
105
click to vote
AAAI
2004
15 years 3 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
222
click to vote
TASE
2012
IEEE
13 years 10 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
110
Voted
GCC
2003
Springer
15 years 7 months ago
2003
Springer
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
145
Voted
ICRA
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
109
click to vote
ATC
2006
Springer
15 years 6 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...