422 search results - page 61 / 85 » Incremental Detection of Model Inconsistencies Based on Mode... |
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
— One of TCP’s critical tasks is to determine which packets are lost in the network, as a basis for control actions (flow control and packet retransmission). Modern TCP implem...
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Breast cancer is the leading cause of cancer mortality in women between the ages of 15 and 54. During mammography screening, radiologists use a strict lexicon (BI-RADS) ...
CGF
2008
14 years 9 months ago
2008
We present a new algorithm for the efficient and reliable generation of offset surfaces for polygonal meshes. The algorithm is robust with respect to degenerate configurations and...
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
103
click to vote
DKE
2008
14 years 9 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...