14558 search results - page 323 / 2912 » Resources |
222
click to vote
ENTCS
2006
15 years 7 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
166
Voted
ET
2006
15 years 7 months ago
2006
Recent years have seen the emergence of dropletbased microfluidic systems for safety-critical biomedical applications. In order to ensure reliability, microsystems incorporating m...
207
click to vote
JBI
2008
15 years 7 months ago
2008
We present a novel ontology integration technique that explicitly takes the dynamics and data-intensiveness of e-health and biomedicine application domains into account. Changing ...
156
click to vote
JSAC
2008
15 years 7 months ago
2008
We study in this paper a noncooperative approach for sharing resources of a common pool among users, wherein each user strives to maximize its own utility. The optimality notion is...
189
Voted
NAR
2008
15 years 7 months ago
2008
Here we report the new features and improvements in our latest release of the H-Invitational Database (H-InvDB; http://www.h-invitational.jp/), a comprehensive annotation resource...