1833 search results - page 214 / 367 » Mechanized Verification with Sharing |
185
Voted
HICSS
2006
IEEE
16 years 1 months 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...
175
Voted
IMSCCS
2006
IEEE
16 years 1 months 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 ...
155
click to vote
ROBIO
2006
IEEE
16 years 1 months 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...
186
Voted
TRIDENTCOM
2006
IEEE
16 years 1 months 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...
187
click to vote
ICPADS
2005
IEEE
16 years 19 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...