417 search results - page 66 / 84 » Orderings for Innermost Termination |
FOSSACS
2003
Springer
14 years 23 days ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
DATE
2010
IEEE
14 years 19 days ago
2010
IEEE
—Systems based on satellite localization are enabling new scenarios for road charging schemes by offering the possibility to charge drivers as a function of their road usage. An ...
IEEEPACT
2002
IEEE
14 years 14 days ago
2002
IEEE
Java exception checks are designed to ensure that any faulting instruction causing a hardware exception does not terminate the program abnormally. These checks, however, impose so...
ISCC
2002
IEEE
14 years 14 days ago
2002
IEEE
The use of contention-based MAC protocols combined with hidden terminal problems make multi-hop wireless ad hoc networks much more sensitive to load and congestion than wired netw...
WECWIS
2002
IEEE
14 years 13 days ago
2002
IEEE
How to conduct automated business negotiation over the Internet is an important issue for agent research. In most bilateral negotiation models, two negotiation agents negotiate by...