10568 search results - page 693 / 2114 » Computer Intelligence and Formalization |
211
click to vote
SASN
2003
ACM
16 years 14 days ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
236
click to vote
EUROPAR
2003
Springer
16 years 13 days ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
211
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...
200
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
207
click to vote
RTA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...