391 search results - page 69 / 79 » A Pattern based Approach for constructing Enterprise Archite... |
FMCAD
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
IPPS
2006
IEEE
14 years 22 days ago
2006
IEEE
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...
DAC
2008
ACM
13 years 8 months ago
2008
ACM
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...
ICDE
2004
IEEE
14 years 8 months ago
2004
IEEE
DNA Microarray provides a powerful basis for analysis of gene expression. Data mining methods such as clustering have been widely applied to microarray data to link genes that sho...
KIVS
2005
Springer
14 years 6 days ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...