Sciweavers

2984 search results - page 394 / 597
» Method engineering process patterns
Sort
View
120
Voted
TAPSOFT
1995
Springer
15 years 5 months ago
Anatomy of the Pentium Bug
The Pentium computer chip’s division algorithm relies on a table from which five entries were inadvertently omitted, with the result that 1738 single precision dividenddivisor ...
Vaughan R. Pratt
KDD
2009
ACM
248views Data Mining» more  KDD 2009»
15 years 6 months ago
PSkip: estimating relevance ranking quality from web search clickthrough data
1 In this article, we report our efforts in mining the information encoded as clickthrough data in the server logs to evaluate and monitor the relevance ranking quality of a commer...
Kuansan Wang, Toby Walker, Zijian Zheng
WWW
2007
ACM
16 years 2 months ago
Extending WebML towards semantic web
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...
Federico Michele Facca, Marco Brambilla
ISSTA
2009
ACM
15 years 8 months ago
Analyzing singularity channel contracts
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
Zachary Stengel, Tevfik Bultan
COMPSAC
2006
IEEE
15 years 8 months ago
A Framework of Model-Driven Web Application Testing
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
Nuo Li, Qin-qin Ma, Ji Wu, Mao-zhong Jin, Chao Liu...