1022 search results - page 104 / 205 » Relators and Metric Bisimulations |
211
click to vote
METRICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Many phenomena related to software development are qualitative in nature. Relevant measures of such phenomena are often collected using semi-structured interviews. Such interviews...
178
click to vote
P2P
2005
IEEE
15 years 12 months ago
2005
IEEE
The availability of a P2P service is a function of the individual peers’ availabilities, and it is often desirable to estimate how available a particular P2P service will be giv...
192
click to vote
WSE
2005
IEEE
15 years 12 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
107
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
In multi-agent systems where sets of joint actions (JAs) are generated, metrics are needed to evaluate these sets and efficiently allocate resources for the many JAs. For the case...
165
click to vote
CALCO
2005
Springer
15 years 12 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...