9697 search results - page 419 / 1940 » Intelligent Transportation Systems |
148
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Service-oriented computing can benefit from multi-agent system technologies by adopting the coordination mechanisms, interaction protocols, and decision-making tools designed for...
172
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Software evolution and update play a vital role in software engineering. It has many advantages, such as improving the efficiency of programming, reducing the cost of maintena...
173
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
190
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
Identification is a two part system comprising of a token or label (an identifier) that can be used to reference an entity and a process that can be used to create label-entity as...
190
Voted
TSMC
2010
15 years 1 months ago
2010
This paper proposes modeling the rapidly evolving energy systems as cyber-based physical systems. It introduces a novel cyber-based dynamical model whose mathematical description d...