17450 search results - page 3104 / 3490 » Numerical Methods with Applications |
198
click to vote
ENTCS
2007
15 years 7 months ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...
194
click to vote
JSAC
2006
15 years 7 months ago
2006
Abstract-- Information about the topology and link-level characteristics of a network is critical for many applications including network diagnostics and management. However, this ...
238
click to vote
ENVSOFT
2007
15 years 7 months ago
2007
Groundwater long-term monitoring (LTM) is required to assess the performance of groundwater remediation and human being health risk at post-closure sites where groundwater contami...
166
click to vote
EOR
2007
15 years 7 months ago
2007
In this paper, we develop new heuristic procedures for the maximum diversity problem (MDP). This NPhard problem has a significant number of practical applications such as environm...
210
click to vote
JUCS
2006
15 years 7 months ago
2006
: The lack of appropriate and accurate information on the ability of a frail individual to accomplish specific task oriented activities can place the individual at risk or result i...