3400 search results - page 443 / 680 » tools 2008 |
178
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a Domain Specific Visual Language (DSVL) for the definition of metrics for other DSVLs. The metrics language has been defined using meta-modelling, and includes some of...
175
click to vote
ENTCS
2008
15 years 6 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
161
click to vote
ENTCS
2008
15 years 6 months ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
163
click to vote
EOR
2008
15 years 6 months ago
2008
The Cooperative Water Allocation Model (CWAM) is designed within a general mathematical programming framework for modeling equitable and efficient water allocation among competing...
183
click to vote
ESWA
2008
2008
Web mining based on Growing Hierarchical Self-Organizing Maps: Analysis of a real citizen web portal
15 years 6 months ago
This work is focused on the usage analysis of a citizen web portal, Infoville XXI (http://www.infoville.es) by means of Self-Organizing Maps (SOM). In this paper, a variant of the...