683 search results - page 80 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
145
click to vote
IJAOSE
2010
15 years 2 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
190
Voted
JSC
2010
14 years 11 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
175
click to vote
IRI
2008
IEEE
15 years 11 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
149
click to vote
CEEMAS
2007
Springer
15 years 8 months ago
2007
Springer
Multiagent systems may be elegantly modeled and designed by enhancing the role of the environment in which agents evolve. In particular, the environment may have the role of a gove...
160
click to vote
IEE
2008
15 years 4 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...