518 search results - page 104 / 104 » Tool Presentation: Teaching Concurrency and Model Checking |
BMCBI
2006
13 years 6 months ago
2006
Background: DNA microarrays are popular tools for measuring gene expression of biological samples. This ever increasing popularity is ensuring that a large number of microarray st...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
ISSRE
2000
IEEE
13 years 10 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...