4341 search results - page 544 / 869 » Quantitative Model checking |
153
click to vote
METRICS
2003
IEEE
15 years 12 months ago
2003
IEEE
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...
164
click to vote
ICANN
2003
Springer
15 years 12 months ago
2003
Springer
The problem of category learning has been traditionally investigated by employing disembodied categorization models. One of the basic tenets of embodied cognitive science states th...
279
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we introduce, analyze and quantitatively compare a number of surface simplification methods for point-sampled geometry. We have implemented incremental and hierarchi...
170
click to vote
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
A new methodology is presented in this paper for resource management in a metacomputing environment using a hierarchy of homogeneous agents that has the capability of service disco...
196
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
Open-source software, usually created by volunteer programmers dispersed worldwide, now competes with that developed by software firms. This achievement is particularly impressive...