8828 search results - page 1155 / 1766 » Formal methods in practice |
179
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper proposes an original and novel vision sensing method to be used in vision-based dynamic identification of parallel robots. Indeed, it is shown that in the latter pr...
195
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Reputation in P2P networks is an important tool to encourage cooperation among peers. It is based on ranking of peers according to their past behaviour. In large-scale real world ...
196
click to vote
MIAR
2006
IEEE
16 years 1 months ago
2006
IEEE
Positron Emission Tomography (PET) is an established functional imaging modality but its practical deployment is hampered by motion artefacts. This paper proposes a method for corr...
187
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
190
click to vote
ACNS
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. This paper describes a method to convert stateless key revocation schemes based on the subset cover principle into stateful schemes. The main motivation is to reduce the ...