2781 search results - page 489 / 557 » System Modules |
ENGL
2006
14 years 9 months ago
2006
: Concrete mix design is a process of proportioning the ingredients in right proportions. Though it is based on sound technical principles and heuristics, the entire process is not...
JUCS
2006
14 years 9 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
FUIN
2007
14 years 9 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
PE
2006
Springer
14 years 9 months ago
2006
Springer
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...
IJAR
2007
2007
On representation and aggregation of social evaluations in computational trust and reputation models
14 years 9 months ago
Interest for computational trust and reputation models is on the rise. One of the most important aspects of these models is how they deal with information received from other indi...