2137 search results - page 250 / 428 » Control of a Car-Like Robot Using a Dynamic Model |
142
click to vote
TAP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
123
click to vote
CCGRID
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose, implement and evaluate three admission models for computational Grids. The models take the expected demand into account and offer a specific performance guarantee. Th...
135
Voted
IFIP13
2004
15 years 5 months ago
2004
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
133
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
As agent systems are solving more and more complex tasks in increasingly challenging domains, the systems themselves are becoming more complex too, often compromising their adapti...
128
click to vote
WORM
2003
15 years 5 months ago
2003
Due to the fast spreading nature and great damage of Internet worms, it is necessary to implement automatic mitigation, such as dynamic quarantine, on computer networks. Enlighten...