2205 search results - page 343 / 441 » Mutation Operators for Specifications |
115
click to vote
MCS
2008
Springer
15 years 2 months ago
2008
Springer
The purpose of this paper is to quantify the efficiency with which Australian universities utilise their teaching resources. The study estimates the cost efficiency of 36 universi...
101
click to vote
MKTSCI
2008
15 years 2 months ago
2008
Most supermarket firms choose to position themselves by offering either "Every Day Low Prices" (EDLP) across several items or offering temporary price reductions (promot...
106
click to vote
JSC
2006
15 years 2 months ago
2006
In this paper we show that a large class of cut-elimination methods can be analyzed by clause terms representing sets of characteristic clauses extractable from the original proof...
156
click to vote
NETWORKS
2006
15 years 2 months ago
2006
Mobile agents operating in networked environments face threats from other agents as well as from the hosts (i.e., network sites) they visit. A black hole is a harmful host that de...
PE
2006
Springer
15 years 2 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...