424 search results - page 60 / 85 » Productivity of Stream Definitions |
ISSAC
2004
Springer
15 years 3 months ago
2004
Springer
We present a streamlined and refined version of Karr’s summation algorithm. Karr’s original approach constructively decides the telescoping problem in ΠΣ-fields, a very ge...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper provides a first idea on changes induced by new ICT that goes ‘beyond mobile’. Main aspects considered are value creation structures, value proposition of products ...
CAISE
2001
Springer
15 years 2 months ago
2001
Springer
A major requirement in Software Engineering is to reduce the time to market. This requirement along with a demand for product sophistication and better quality has led to larger te...
APAQS
2000
IEEE
15 years 2 months ago
2000
IEEE
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
80
Voted
CHI
2000
ACM
15 years 2 months ago
2000
ACM
Coordination definitions and metrics are reviewed from the motor control, biomedical, and human factors literature. This paper presents an alternative measurement called the M-met...