Registrati | Log in | FAQ      [?] 

Tag correctness [14 articles]

Articoli recentemente classificati sotto il tag correctness.
  • Correctness criteria for dynamic changes in workflow systems--a survey
    Data & Knowledge Engineering, Vol. 50, No. 1. (July 2004), pp. 9-34.
    by Stefanie Rinderle, Manfred Reichert, Peter Dadam
    posted to correctness dynamic workflow xml by ustunyildiz on 2007-06-06 15:54:14 as ** along with 4 people and 1 group jfranke charoy ahmad_gaafar karimda ecoo-pe
  • Automatically proving the correctness of compiler optimizations
    Vol. 38, No. 5. (May 2003), pp. 220-231.
    by Sorin Lerner, Todd Millstein, Craig Chambers
    posted to compiler correctness by surana on 2005-06-11 05:20:02 as read along with 1 person and 1 group francoisl modeling
  • notes Automated soundness proofs for dataflow analyses and transformations via local rules
    Vol. 40, No. 1. (January 2005), pp. 364-377.
    by Sorin Lerner, Todd Millstein, Erika Rice, Craig Chambers
    posted to compiler correctness by surana on 2005-06-11 05:23:00 as read along with 2 people bec rob_quill
  • On the design of correct and optimal dynamical systems and games
    Inf. Process. Lett., Vol. 88, No. 1-2. (2003), pp. 59-65.
    by Michel Sintzoff
    posted to correctness dynamical-system games optimality by Scis0000002 on 2007-06-17 15:09:58 as **
  • Guaranteeing correctness and availability in P2P range indices
    (2005), pp. 323-334.
    by Prakash Linga, Adina Crainiceanu, Johannes Gehrke, Jayavel Shanmugasudaram
    posted to correctness dht p2p by oster on 2007-12-09 15:48:30 as ** along with 1 person and 1 group momo54 ecoo-ce
  • notes Truth discovery with multiple conflicting information providers on the web
    (2007), pp. 1048-1052.
    by Xiaoxin Yin, Jiawei Han, Philip S Yu
    posted to bias correctness infact by lillejul on 2007-11-29 08:49:26 as read
  • On the Common Support of Workflow Type and Instance Changes under Correctness Constraints
    On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE (2003), pp. 407-425.
    by Manfred Reichert, Stefanie Rinderle, Peter Dadam
    posted to changes constraints correctness for formal framework under workflow by karimda on 2008-04-09 17:38:02 as ** along with 1 group ecoo-pe
  • On Representing Instance Changes in Adaptive Process Management Systems
    (2006), pp. 297-304.
    by Stefanie Rinderle, Ulrich Kreher, Markus Lauer, Peter Dadam, Manfred Reichert
    posted to after changes correctness of process shemeta by karimda on 2008-02-25 11:03:48 as read along with 1 person and 1 group charoy ecoo-pe
  • An axiomatic basis for computer programming
    Commun. ACM, Vol. 12, No. 10. (October 1969), pp. 576-580.
    by CAR Hoare
    posted to algorithms correctness general-bib by jff on 2006-12-26 12:34:22 as read along with 11 people and 5 groups jkominek leonardo rwtodd dsilva jbrown rgb calvins flavian_vasile _Anne_ bfraser zuleger Crypto GraphTheory pileWorks Foundations-of-Programming TMC
  • Inheritance of workflows: an approach to tackling problems related to change
    Theoretical Computer Science, Vol. 270, No. 1--2. (2002), pp. 125-203.
    by WMP van der Aalst, T Basten
    posted to correctness workflow by charoy to the group ecoo-pe on 2006-06-09 22:29:59 as **** along with 1 person karimda
  • Softness of MALL proof-structures and a correctness criterion with Mix
    Archive for Mathematical Logic, Vol. 43, No. 6. (2004), pp. 751-794.
    by Masahiro Hamano
    posted to correctness gentzen linear logic mix pnc proofnet sequentialisation by greg_restall on 2005-09-06 15:35:01 as **
  • Proof-carrying code
    (1997), pp. 106-119.
    by George C Necula
    posted to correctness logic programming theory by ariels on 2007-08-12 07:02:28 as read along with 3 people and 1 group dsilva emiliorp mfrydr complogic
  • Algorithm Design
    (16 March 2005)
    by Jon Kleinberg, Éva Tardos
    posted to algorithms correctness programming by ariels on 2007-09-27 11:09:30 as ** along with 5 people BarrosH pprett wonjongchung edvin jasmithoffice
  • Beautiful Code: Leading Programmers Explain How They Think (Theory in Practice (O'Reilly))
    (26 June 2007)
    by Andy Oram, Greg Wilson
    posted to correctness multithreading programming by ariels on 2007-08-12 07:00:50 as *** along with 5 people germoglio erisu BastianSpanneberg jasmithoffice moggis2
    • Puoi citare questa pagina come: http://www.citeulike.org/tag/correctness

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.