1154 search results - page 75 / 231 » The Degradation of Knowledge Base Integrity |
ICTAC
2009
Springer
13 years 6 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
DKE
2008
13 years 9 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
BMCBI
2010
13 years 9 months ago
2010
Background: Machine learning techniques have shown to improve bacterial species classification based on fatty acid methyl ester (FAME) data. Nonetheless, FAME analysis has a limit...
ICPP
2005
IEEE
14 years 2 months ago
2005
IEEE
In recent years integrating multiprocessors in a single chip is emerging for supporting various scientific and commercial applications, with diverse demands to the underlying on-c...
ISOLA
2004
Springer
14 years 2 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...