4463 search results - page 269 / 893 » computing 2000 |
183
click to vote
FOSAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...
146
click to vote
ICPPW
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper discusses different approaches of providing multicast traffic for mobile hosts. Mobile IPv6 is used for mobility support. The network employs Protocol Independent Multi...
159
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. An approach to a multi-facet task of situation identification by Unmanned Aerial Vehicle (UAV) is presented. The concept of multi-layered identification system based on s...
137
click to vote
CG
2000
Springer
15 years 6 months ago
2000
Springer
The tools for visualization of relativistic string dynamics in various topological classes are developed. New theoretical results, obtained with the aid of these tools, are descri...
173
click to vote
PUC
2000
15 years 6 months ago
2000
: This paper describes a framework for managing and distributing trust information in a community of mobile and wearable computer users. Trust information in the form of reputation...