2196 search results - page 322 / 440 » Practical Reasoning Using Values |
ICIW
2007
IEEE
14 years 3 months ago
2007
IEEE
Service-centric computing is developing and maturing rapidly as a paradigm for developing distributed systems. In recent years there has been a rapid growth in the number and type...
IH
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
P2P
2006
IEEE
14 years 3 months ago
2006
IEEE
The idea of building query-oriented routing indices has changed the way of improving routing efficiency from the basis as it can learn the content distribution during the query r...
ACMICEC
2006
ACM
14 years 3 months ago
2006
ACM
In this paper we first provide a literature review about the economics of online music. Second, we then present an economical model for online music by incorporating various param...