232 search results - page 38 / 47 » Reflection principles in computational logic |
ICDCSW
2007
IEEE
14 years 2 months ago
2007
IEEE
Peer-to-Peer (P2P) systems are currently used in a variety of applications. File sharing applications and ad hoc networking have fueled the usage of these systems. P2P systems gen...
DAC
2007
ACM
13 years 11 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
REST
2010
ACM
13 years 9 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
VTS
2003
IEEE
14 years 1 months ago
2003
IEEE
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...