2153 search results - page 204 / 431 » From Requirements Models to Formal Specifications in B |
185
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Quantitative knowledge of intracellular fluxes is important for a comprehensive characterization of metabolic networks and their functional operation. In contrast to d...
214
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
182
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: A reliable extraction technique for resolving multiple spots in light or electron microscopic images is essential in investigations of the spatial distribution and dyn...
185
click to vote
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...
183
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...