2025 search results - page 124 / 405 » Minimal-Cut Model Composition |
WOA
2003
13 years 10 months ago
2003
— Agentcities is a network of FIPA compliant agent platforms that constitute a distributed environment to demonstrate the potential of autonomous agents. One of the aims of the p...
JDCTA
2008
13 years 9 months ago
2008
Urbanization and industrialization with minimal focus on environmental pollution has resulted in rapid degradation of natural environment. A fresh look at the pollution control st...
ISPAN
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
HASKELL
2009
ACM
14 years 3 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
BMCBI
2010
13 years 9 months ago
2010
Background: Metabolic pathway is a highly regulated network consisting of many metabolic reactions involving substrates, enzymes, and products, where substrates can be transformed...