1307 search results - page 83 / 262 » Follow the intellectual property |
129
click to vote
RV
2010
Springer
14 years 12 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
115
click to vote
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
— The goal of motion planning is to find a feasible path that connects two positions and is free from collision with obstacles. Path sets are a robust approach to this problem i...
149
click to vote
INFOCOM
1998
IEEE
15 years 5 months ago
1998
IEEE
Authenticated session key establishment is a central issue in network security. This paper addresses a question on whether we can design a compact, efficient and authenticated key ...
117
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
115
click to vote
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
— This paper deals with the motion of a multi-legged modular robot. The robot consists of six homogenous modules, each of which has a body and two legs and is connected to the ot...