Incremental Consistency Checking for Pervasive Context

Συγγραφείς: Chang Xu, S. C. Cheung, W. K. Chan

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://cs.nju.edu.cn/changxu/publications/ICSE06.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification – Validation General Terms Algorithms, Performance, Theory, Verification Keywords Pervasive Computing, Context Management, Incremental Consistency Checking

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.352.3619; http://cs.nju.edu.cn/changxu/publications/ICSE06.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.352.3619
http://cs.nju.edu.cn/changxu/publications/ICSE06.pdf