4340 search results - page 600 / 868 » Formal Methods and Cryptography |
163
click to vote
CSMR
2005
IEEE
16 years 6 days ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
148
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract— This paper presents a novel approach for visionbased control of the end-effector of parallel mechanisms. It is based on the metrological redundancy paradigm, which simp...
153
click to vote
IV
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...
161
click to vote
LCN
2005
IEEE
16 years 5 days ago
2005
IEEE
Algorithms by which peers join and leave structured overlay networks can be classified as passive or active. Passive topology maintenance relies on periodic background repair of n...
156
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...