193 search results - page 13 / 39 » Process Diagnostics |
DAC
1996
ACM
15 years 1 months ago
1996
ACM
Concurrent verification of hardware and software as part of the development process can shorten the time to market of complex systems. The objectives of the Virtual CPU approach i...
PRL
2006
14 years 9 months ago
2006
Karyotyping, a standard method for presenting pictures of the human chromosomes for diagnostic purposes, is a long standing, yet common technique in cytogenetics. Automating the c...
AIMS
2010
Springer
15 years 1 months ago
2010
Springer
Management of outer edge domains is a big challenge for service providers due to the diversity, heterogeneity and large amount of such networks, together with limited visibility on...
IJIS
2002
14 years 9 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper investigates the level of agreement in applying metadata and highlights results from the analysis of agreement between and within user communities. Problems in applying...