Sciweavers

6751 search results - page 371 / 1351
» Engineering Quality Requirements Using Quality Models
Sort
View
FATES
2003
Springer
16 years 20 days ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
238
Voted
WSDM
2010
ACM
214views Data Mining» more  WSDM 2010»
16 years 4 months ago
Pairwise Interaction Tensor Factorization for Personalized Tag Recommendation
Tagging plays an important role in many recent websites. Recommender systems can help to suggest a user the tags he might want to use for tagging a specific item. Factorization mo...
Steffen Rendle, Lars Schmidt-Thieme
197
Voted
FINTAL
2006
15 years 11 months ago
Using Alignment Templates to Infer Shallow-Transfer Machine Translation Rules
When building rule-based machine translation systems, a considerable human effort is needed to code the transfer rules that are able to translate source-language sentences into gra...
Felipe Sánchez-Martínez, Hermann Ney
DAC
2006
ACM
16 years 1 months ago
Clock buffer and wire sizing using sequential programming
This paper investigates methods for clock skew minimization using buffer and wire sizing. First, a technique that significantly improves solution quality and stability of sequent...
Matthew R. Guthaus, Dennis Sylvester, Richard B. B...
CN
2006
106views more  CN 2006»
15 years 7 months ago
Efficient large-scale BGP simulations
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...
Xenofontas A. Dimitropoulos, George F. Riley