1426 search results - page 194 / 286 » Federated simulations for systems of systems integration |
147
click to vote
ISI
2004
Springer
15 years 12 months ago
2004
Springer
Malicious insiders’ difficult-to-detect activities pose serious threats to the intelligence community (IC) when these activities go undetected. A novel approach that integrates ...
145
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
− In humanoid robot system, many human-body motions such as walking, running, jumping, etc require large power. To achieve a high power-to-weight ratio, this paper proposes a new...
163
click to vote
FMOODS
2007
15 years 8 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
155
click to vote
TCAD
2008
15 years 6 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
205
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We propose an algorithm for decentralised navigation of multiple independent agents, applicable to Robotics and Air Traffic Control (ATC). We present completely decentra...