1791 search results - page 195 / 359 » Behavioral Operations |
131
Voted
ICAT
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a new type of wearable telepresence system that is applicable to the control of a humanoid robot. The system consists of self-contained computing hardware with...
138
click to vote
IEEEAMS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
131
click to vote
IEEEPACT
2003
IEEE
15 years 9 months ago
2003
IEEE
Shared memory multiprocessor systems typically provide a set of hardware primitives in order to support synchronization. Generally, they provide single-word read-modify-write hard...
130
click to vote
ISQED
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
129
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
we propose a repository to characterize OO evolution problematic. The two main objectives are to characterize object evolution according to its own features, and to uniformly analy...