1833 search results - page 295 / 367 » Mechanized Verification with Sharing |
133
click to vote
COLCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
- Internet is a place nowadays where interoperating services are offered which can be integrated or mashed up in order to fulfill user demands. This paper proposes a way to offer v...
121
click to vote
ARC
2010
Springer
15 years 7 months ago
2010
Springer
As reconfigurable computing hardware and in particular FPGA-based systems-on-chip comprise an increasing number of processor and accelerator cores, supporting sharing and synchroni...
145
click to vote
LISA
2007
15 years 6 months ago
2007
We propose RepuScore, a collaborative reputation management framework over email infrastrucure, which allows participating organizations to establish sender accountability on the ...
148
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Search engine researchers typically depict search as the solitary activity of an individual searcher. In contrast, results from our critical-incident survey of 150 users on Amazon...
139
click to vote
CIBCB
2005
IEEE
15 years 6 months ago
2005
IEEE
— We present an integrative method for clustering coregulated genes and elucidating their underlying regulatory mechanisms. We use multi-state partition functions and thermodynam...