3624 search results - page 483 / 725 » Abstract Algebraic Logic |
162
click to vote
FASE
2007
Springer
16 years 24 days 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...
163
click to vote
FROCOS
2007
Springer
16 years 24 days 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...
161
click to vote
ICANN
2007
Springer
16 years 24 days 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,...
167
click to vote
LPAR
2007
Springer
16 years 23 days 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...
221
click to vote
OTM
2007
Springer
16 years 23 days 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...