1833 search results - page 214 / 367 » Mechanized Verification with Sharing |
170
click to vote
HICSS
2006
IEEE
16 years 16 days ago
2006
IEEE
Inter-organizational knowledge networks and knowledge marketplaces have emerged in order to enable organizations to share or commercially exploit their knowledge outside narrow or...
164
click to vote
IMSCCS
2006
IEEE
16 years 15 days ago
2006
IEEE
The application of component repository has become more and more popular in the practice of component-based software development. Most of the repositories are physically isolated ...
147
click to vote
ROBIO
2006
IEEE
16 years 15 days ago
2006
IEEE
— A 3D laser scanner is built by adding a rotating mirror to a conventional 2D scanner. The scanners are deployed on four robots to build full 3D representations of an indoor env...
169
click to vote
TRIDENTCOM
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— This paper describes the implementation and deployment of a novel architecture for a metropolitan open wireless access network, shared among different service providers...
172
click to vote
ICPADS
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper we use game theory to study nodes’ behavior in peer-to-peer networks when nodes receive service based on their reputation. Reputation is used as a mechanism to inc...