1581 search results - page 236 / 317 » Mechanizing Inductive Reasoning |
CCS
2007
ACM
15 years 6 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
110
click to vote
COORDINATION
2007
Springer
15 years 6 months ago
2007
Springer
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly ...
CSL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Sequent calculi usually provide a general deductive setting that uniformly embeds other proof-theoretical approaches, such as tableaux methods, resolution techniques, goa...
ISNN
2007
Springer
15 years 6 months ago
2007
Springer
Modeling for the ball mill grinding process is still an imperative but difficult problem for the optimal control of mineral processing industry. Due to the integrated complexities ...
112
click to vote
OTM
2007
Springer
15 years 6 months ago
2007
Springer
The increasing popularity of personal wireless devices has raised new demands for the efficient discovery of heterogeneous devices and services in pervasive environments. The exis...