9067 search results - page 686 / 1814 » Adaptive Model Checking |
174
click to vote
IEEEARES
2010
IEEE
16 years 23 days ago
2010
IEEE
—Deploying a security policy may prove difficult whenever the system does not embed all necessary security functionalities. Some specific functionalities are required to accura...
175
click to vote
ICRA
2003
IEEE
16 years 22 days ago
2003
IEEE
: When designing a mobile robotic team, an engineer is faced with many design choices. This paper discusses the design of a team consisting of two different models of robots with ...
187
click to vote
FSR
2003
Springer
16 years 20 days ago
2003
Springer
Dynamic stability is an important issue for vehicles which move heavy loads, turn at speed, or operate on sloped terrain. In many cases, vehicles face more than one of these chall...
174
click to vote
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
— This work deals with a group of mobile sensors sampling a spatiotemporal random field whose mean is unknown and covariance is known up to a scaling parameter. The Bayesian pos...
177
click to vote
FPL
2009
Springer
16 years 2 days ago
2009
Springer
Commercial SRAM-based FPGAs have the potential to provide aerospace applications with the necessary performance to meet next-generation mission requirements. However, the suscepti...