4096 search results - page 587 / 820 » An Object Model for Interoperable Systems |
156
click to vote
SUTC
2006
IEEE
16 years 19 days ago
2006
IEEE
In peer-to-peer (P2P) environments, trust is a very important issue when transactions/interactions occur between peers. In general, the trust evaluation on transactions/interactio...
174
click to vote
TLCA
2005
Springer
16 years 3 days ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
174
click to vote
FSTTCS
2004
Springer
16 years 14 hour ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
174
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a new methodology for coordinating multi-robot teams in the execution of cooperative tasks. It is based on a dynamic role assignment mechanism in which the rob...
156
click to vote
AVBPA
2001
Springer
15 years 11 months ago
2001
Springer
Person identification and verification using biometric methods is getting more and more important in today’s information society; resulting in increased utilization of systems th...