1833 search results - page 81 / 367 » Mechanized Verification with Sharing |
133
Voted
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
As multi-core architectures flourish in the marketplace, multi-application workload scenarios (such as server consolidation) are growing rapidly. When running multiple application...
114
click to vote
BMCBI
2008
15 years 27 days ago
2008
Background: During the past decade, many software packages have been developed for analysis and visualization of various types of microarrays. We have developed and maintained the...
117
Voted
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
84
Voted
ICMCS
2008
IEEE
15 years 7 months ago
2008
IEEE
This work presents the design and experimental verification of an original system architecture aiming at recognizing gestures based solely on the hand trajectory. Self organizing ...
118
click to vote
BMCBI
2004
15 years 19 days ago
2004
Background: Transcriptional regulation is a key mechanism in the functioning of the cell, and is mostly effected through transcription factors binding to specific recognition moti...