1763 search results - page 197 / 353 » A Formalization of Polytime Functions |
117
click to vote
FROCOS
2007
Springer
15 years 8 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...
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
101
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
The emergence of multi-channel multi-radio wireless mesh networks has given us many new opportunities and challenges. Particularly, the issue on how to appropriately assign channel...
133
click to vote
ICAS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
ISPDC
2006
IEEE
15 years 7 months ago
2006
IEEE
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...