1809 search results - page 321 / 362 » Software Model Checking Using Linear Constraints |
122
Voted
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
114
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
126
click to vote
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
WORM
2003
15 years 3 months ago
2003
Fast Internet worms are a relatively new threat to Internet infrastructure and hosts. We discuss motivation and possibilities to study the behaviour of such worms and degrees of f...
138
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...