10038 search results - page 379 / 2008 » Model Checking for Managers |
142
Voted
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
221
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...
197
click to vote
PADS
2005
ACM
16 years 1 months ago
2005
ACM
Abstract— Traditionally Interest Management (IM) in distributed environments has been performed through a ‘top-down’ expression of interest patterns in the model. For many mo...