2137 search results - page 116 / 428 » Proving Abstract Non-interference |
125
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— In this paper, we present an algorithm for manipulability based trajectory generation for any serial manipulator that has an inverse kinematic model that can obtain all...
177
click to vote
CAMP
2005
IEEE
15 years 8 months ago
2005
IEEE
— This paper describes the prey-predator multiagent hich can be considered as an abstraction of more complex real-world models. Both the prey and the predators are considered as ...
101
Voted
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— This paper derives a novel property of the secondorder modes of discrete-time systems under variable transformation. This is the generalization of the theory presented ...
134
click to vote
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
113
click to vote
AWIC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The Internet witnesses the unprecedent boom of customerto-customer e-commerce. Most online auction providers use simple participation counts for reputation rating, thus e...