809 search results - page 120 / 162 » A Performance Analysis Framework for Mobile-Agent Systems |
106
click to vote
WOWMOM
2009
ACM
15 years 4 months ago
2009
ACM
Abstract— Spectrum-agile radios, also known as cognitive radios, have a great potential to improve spectrum utilization by enabling dynamic access to the spectrum. A key challeng...
111
click to vote
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
MOBICOM
2003
ACM
15 years 3 months ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...
BPM
2009
Springer
15 years 2 months ago
2009
Springer
This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated d...
RTA
1993
Springer
15 years 2 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...