1382 search results - page 136 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
95
Voted
IANDC
2011
14 years 5 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
BMCBI
2008
14 years 10 months ago
2008
Background: Computational biology is often associated with genetic or genomic studies only. However, thanks to the increase of computational resources, computational models are ap...
CERA
2002
14 years 10 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
123
Voted
ISPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
HOLOMAS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...