22 search results - page 2 / 5 » Improving Non-Progress Cycle Checks |
CBSE
2008
Springer
14 years 25 days ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
TCOM
2008
13 years 9 months ago
2008
In this paper, a method to design regular (2, dc)-LDPC codes over GF(q) with both good waterfall and error floor properties is presented, based on the algebraic properties of thei...
APSEC
2007
IEEE
14 years 2 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
ICWSM
2009
13 years 8 months ago
2009
In Wikipedia, good articles are wanted. While Wikipedia relies on collaborative effort from online volunteers for quality checking, the process of selecting top quality articles i...