Sciweavers

6328 search results - page 894 / 1266
» From Quantity to Quality
Sort
View
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
16 years 27 days ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy
WISE
2006
Springer
16 years 27 days ago
Quantified Matchmaking of Heterogeneous Services
As the service-oriented computing paradigm and its related technologies mature, it is expected that electronic services will continue to grow in numbers. In such a setting, the cou...
Michael Pantazoglou, Aphrodite Tsalgatidou, George...
ACMSE
2006
ACM
16 years 26 days ago
Assessing denial of service vulnerabilities in DOCSIS
In previous work a DOCSIS model was added to ‘ns’ to allow simulations to be run to analyze the performance of DOCSIS. These simulations showed that congestion caused by the a...
Scott Moser, Jim Martin
DAC
2006
ACM
16 years 26 days ago
Use of C/C++ models for architecture exploration and verification of DSPs
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
David Brier, Raj S. Mitra
NORDICHI
2006
ACM
16 years 25 days ago
The appropriateness of Swedish municipality web site designs
In this paper, the results of a front-page genre analysis of 290 Swedish municipality Web sites are presented, and the appropriateness of the identified design solutions are discu...
Emma Eliason, Jonas Lundberg