新規登録 | ログイン | FAQ      [?] 

タグ: state-machine [11 articles]

Recent papers classified by the tag state-machine.
  • State-Machine Versus Trace Modelling of Real-Time Reactive Systems
    by CJ Fidge
    posted to trace state-machine real-time by scis0000001 on 2007-01-27 14:03:40 as ** along with 1 person leonardo
  • Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan
    (1995)
    by EK Saluja
    posted to information-system mdl minimal-sufficient-statistic modeling state-machine synthesizing by scis0000001 on 2006-11-16 14:13:26 as **
  • Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps
    Lecture Notes in Computer Science : SDL 2005: Model Driven Systems Design (2005), pp. 339-359.
    by Humberto
    posted to state-machine synthesizing uml by scis0000001 on 2006-11-16 14:00:20 as ** along with 2 people and 1 group leonardo pyschobbens PReCISE
  • The Database State Machine Approach
    Distrib. Parallel Databases, Vol. 14, No. 1. (July 2003), pp. 71-98.
    by Fernando Pedone, Rachid Guerraoui, Andr&\#233; Schiper
    posted to agreement atomic-broadcast database fault-tolerance replication state-machine by ljcamargos on 2008-02-25 08:27:53 as ** along with 2 people and 1 group kistijantoro zielaj inference-group
  • How to Build a Highly Available System Using Consensus
    Vol. 1151 (1996), pp. 1-17.
    by BW Lampson
    edited by Babaoglu, Marzullo
    posted to agreement consensus state-machine by ljcamargos on 2007-11-12 08:22:05 as read along with 1 person rstata
  • Zyzzyva: speculative byzantine fault tolerance
    (2007), pp. 45-58.
    by Ramakrishna Kotla, Lorenzo Alvisi, Mike Dahlin, Allen Clement, Edmund Wong
    posted to agreement byzantine replication state-machine by ljcamargos on 2008-03-25 19:00:59 as ** along with 1 group SOSP
  • The implementation of reliable distributed multiprocess systems
    Computer Networks (1976), Vol. 2, No. 2. (May 1978), pp. 95-114.
    by Leslie Lamport
    posted to active_replication fault-tolerant implementation state-machine by kistijantoro on 2005-02-12 14:17:11 as read
  • Implementing fault-tolerant services using the state machine approach: a tutorial
    ACM Comput. Surv., Vol. 22, No. 4. (December 1990), pp. 299-319.
    by Fred B Schneider
    posted to active_replication replication state-machine by kistijantoro on 2005-03-22 12:05:00 as ** along with 4 people mercutio ljcamargos kazuya embersp
  • Separating agreement from execution for byzantine fault tolerant services
    (2003), pp. 253-267.
    by Jian Yin, Jean-Philippe Martin, Arun Venkataramani, Lorenzo Alvisi, Mike Dahlin
    posted to byzantine consensus privacy state-machine by jpmartin on 2005-03-30 21:22:43 as read along with 1 person ahgharaibeh
  • Practical byzantine fault tolerance and proactive recovery
    ACM Trans. Comput. Syst., Vol. 20, No. 4. (November 2002), pp. 398-461.
    by Miguel Castro, Barbara Liskov
    posted to byzantine state-machine by jpmartin on 2005-03-30 21:26:04 as read along with 5 people mercutio ljcamargos anirudhvr wtribbey jwong
  • Automatic Ada Code Generation Using a Model-Driven Engineering Approach
    Vol. 4498 (2007), pp. 168-179.
    by Diego Alonso, Cristina Vicente-Chicote, Pedro Sánchez, Bárbara Álvarez, Fernando Losilla
    edited by Nabil Abdennadher, Fabrice Kordon, Nabil Abdennadher, Fabrice Kordon
    posted to ada eclipse mde mofscript state-machine by cvc on 2008-05-26 18:25:20 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/state-machine

    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.