5326 search results - page 292 / 1066 » On what we can ensure |
178
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
131
click to vote
WISE
2007
Springer
16 years 28 days ago
2007
Springer
More and more personal data is exposed to automatic and programmatic access, making it more difficult to safeguard the personal information from unauthorised access at every step. ...
174
click to vote
ATVA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
158
click to vote
COREGRID
2007
Springer
16 years 25 days ago
2007
Springer
Abstract Grid Computing is now in the state of development that can offer dynamic management of various parameters that affect the applications’ properties such as performance an...
201
click to vote
HIPC
2007
Springer
16 years 25 days ago
2007
Springer
Traditional directory-based cache coherence protocols suffer from long-latency cache misses as a consequence of the indirection introduced by the home node, which must be accessed...