1833 search results - page 253 / 367 » Mechanized Verification with Sharing |
179
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
The process of match formation in matching markets can be divided into three parts: information sharing, investments in information acquisition, and the formation of matches based...
175
click to vote
USITS
1997
15 years 7 months ago
1997
Emerging applications in electronic commerce often involve very low-cost transactions, which execute in the context of ongoing, extended clientserver relationships. For example, c...
144
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Successful interaction between autonomous agents is contingent on those agents making decisions consistent with the expectations of their peers -- these expectations are based on ...
170
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Recent years have seen the development of various pathway-based methods for the analysis of microarray gene expression data. These approaches have the potential to bri...
163
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
: Over the last few years, several nations around the world have set up Grids to share resources such as computers, data, and instruments to enable collaborative science, engineeri...