1423 search results - page 267 / 285 » Ordering in Mobile Networks Using Integrated Sequencers |
110
click to vote
POPL
2000
ACM
15 years 1 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
BMCBI
2011
14 years 4 months ago
2011
Background: With the growing availability of entire genome sequences, an increasing number of scientists can exploit oligonucleotide microarrays for genome-scale expression studie...
68
Voted
BMCBI
2005
14 years 9 months ago
2005
Background: Proteins carrying twin-arginine (Tat) signal peptides are exported into the periplasmic compartment or extracellular environment independently of the classical Secdepe...
SIGGRAPH
1997
ACM
15 years 1 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
109
click to vote
ESWS
2010
Springer
14 years 8 months ago
2010
Springer
DSMW is an extension to Semantic Mediawiki (SMW), it allows to create a network of SMW servers that share common semantic wiki pages. DSMW users can create communication channels b...