11022 search results - page 2091 / 2205 » Programming Systems for Autonomy |
134
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
141
Voted
SIGSOFT
2006
ACM
16 years 2 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
147
Voted
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
106
Voted
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
132
Voted
ISBI
2008
IEEE
16 years 2 months ago
2008
IEEE
We propose a system for identification of germ layer components in teratomas derived from human and nonhuman primate embryonic stem cells. Tissue regeneration and repair, drug tes...