47 search results - page 1 / 10 » Recursion and Iteration Support in USE Validator with AnATLy... |
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 4 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
The asymptotic iterative decoding performances of low-density parity-check (LDPC) codes using min-sum (MS) and sum-product (SP) decoding algorithms on memoryless binary-input outp...
FASE
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Development of composed services requires a continues adaptation of the composed service to the changing environment of offered services. Services may no longer be avail...
VTC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract—In this treatise we propose a three-stage twin-transmitantenna assisted MultiUser (MU) Direct Sequence Code-Division Mulitple Access (DS-CDMA) system employing both a Un...
VLDB
2002
ACM
13 years 4 months ago
2002
ACM
Structurally recursive XML queries are an important query class that follows the structure of XML data. At present, it is difficult for XQuery to type and optimize structurally re...