3624 search results - page 483 / 725 » Abstract Algebraic Logic |
192
click to vote
FASE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networ...
188
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
184
click to vote
ICANN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Classification of structured data (i.e., data that are represented as graphs) is a topic of interest in the machine learning community. This paper presents a different,...
189
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
245
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Recent contributions have uncovered the potential of network coding, i.e. algebraic mixing of multiple information flows in a network, to provide enhanced security in pa...