2878 search results - page 563 / 576 » Analyzing the Uses of a Software Modeling Tool |
106
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Comparative analysis of gene expression profiling of multiple biological categories, such as different species of organisms or different kinds of tissue, promises to e...
214
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
122
click to vote
IISWC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
150
click to vote
ICSOC
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
115
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: It is becoming increasingly important for researchers to be able to scan through large genomic regions for transcription factor binding sites or clusters of binding si...