3387 search results - page 166 / 678 » Model-Checking for Real-Time Systems |
172
Voted
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a method to deal the dynamic stability for a mobile manipulator. Although the system has static stability, manipulation on the moving base or mobile locomotion...
223
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a method of stereo image composition for video see-through augmented reality. In order to implement an augmented reality system, we must acquire the position ...
155
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
This study proposes a new bandwidth reservation strategy (Two Level Guarantee) in wireless environment based on the user mobility specification which is assumed to be given at cal...
168
click to vote
RTAS
1996
IEEE
15 years 11 months ago
1996
IEEE
Communication between current military real-time systems and future interconnection of general purpose, embedded real-time systems will often require wireless communications. Howe...
186
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...