2020 search results - page 31 / 404 » Modeling Probe-Agent Distributed System by Goal-oriented App... |
131
click to vote
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
179
Voted
JTAER
2010
14 years 9 months ago
2010
With the emergence of the e-Catalog, there has been an increasingly wide application of commodities query in distributed environment in the field of e-commerce. But e-Catalog is o...
120
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
149
click to vote
SIAMCOMP
2002
15 years 1 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
123
Voted
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper we present a model which allows to co-evolve the morphology and the control system of realistically simulated robots (creatures). The method proposed is based on a...