2673 search results - page 367 / 535 » Guided Static Analysis |
131
click to vote
JSS
2006
15 years 4 months ago
2006
Peer-to-peer Web caching has attracted a great attention from the research community recently, and is one of the potential peer-topeer applications. In this paper, we systematical...
155
click to vote
EOR
2007
15 years 4 months ago
2007
The paper presents the first empirical investigation of the relationship between present value of net revenue from a revolving credit account and times to default and to second pu...
156
Voted
LISP
2006
15 years 4 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
155
Voted
FMSD
2007
15 years 4 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
140
Voted
PE
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we investigate a simplified head-of-the-line with priority jumps (HOL-PJ) scheduling discipline. Therefore, we consider a discrete-time single-server queueing syste...