1632 search results - page 41 / 327 » Topological Analysis of Refinement |
IEPOL
2006
14 years 10 months ago
2006
This paper presents results from a field study on voluntary contributions for an information public good provided via the Internet (an electronic newsletter for authors). Whereas ...
STTT
2008
14 years 10 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
TCS
2008
14 years 10 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
PAM
2007
Springer
15 years 4 months ago
2007
Springer
Most Internet measurement studies utilize traceroute-collected path traces to build Internet maps. In this paper, we measure the impact of alias resolution problem on Internet topo...
BMCBI
2007
14 years 10 months ago
2007
Background: Metabolic Flux Analysis (MFA) based on isotope labeling experiments (ILEs) is a widely established tool for determining fluxes in metabolic pathways. Isotope labeling ...