5210 search results - page 294 / 1042 » Tools for Distributed Facilitation |
166
click to vote
CCE
2004
15 years 6 months ago
2004
Bifurcation theory provides a powerful tool for analyzing the nonlinear dynamic behavior of process systems. However, although the theory in principle applies to lumped as well as...
144
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
185
click to vote
ICUMT
2009
15 years 4 months ago
2009
Pan-European laboratory (Panlab) is based on a federation of distributed interconnected testbeds, providing access to platforms, networks and services for testing. Core components ...
283
click to vote
ICDE
2002
IEEE
16 years 8 months ago
2002
IEEE
Broad web search engines as well as many more specialized search tools rely on web crawlers to acquire large collections of pages for indexing and analysis. Such a web crawler may...
174
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Visualization and analysis of the micro-architecture of brain parenchyma by means of magnetic resonance imaging is nowadays believed to be one of the most powerful tools used for ...