Регистрация | Вход в службу | FAQ      [?] 

msakai Список просмотра [662 articles]

Недавние статьи, msakai которые соответствуют критериям списка просмотра
  • Routing Information Protocol in HOL/SPIN
    (2000), pp. 53-72.
    by Karthikeyan Bhargavan, Carl A Gunter, Davor Obradovic
    posted to theorem-proving spin print model-checking copy by yoriyuki on 2008-10-07 06:26:29 as *****
  • Introduction to Lambda Calculus
    (1988)
    by HP Barendregt
    posted to lambda-calculus by yoriyuki on 2008-10-04 19:37:37 as ** along with 15 people and 2 groups pedagand darinm draganigajic JeffreyPalmer yallop pintman glaubersp robertoalamino biehl namin mvermaat d23 SamB enochguimond MikolkaMikolka Lambda the Ultimate logics of knowledge
  • Haskell session types with (almost) no class
    (2008), pp. 25-36.
    by Riccardo Pucella, Jesse A Tov
    posted to session haskell by keigoi on 2008-10-01 10:55:34 as **
  • Bounded Arithmetic, Proof Complexity and TwoPapers of Parikh
    by Samuel R Buss
    posted to print copy bounded-arithmetic by yoriyuki on 2008-10-01 07:25:27 as **
  • A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications
    Mathematical Logic Quarterly, Vol. 44, No. 2. (1998), pp. 205-215.
    by Jan Johannsen
    posted to bounded-arithmetic by yoriyuki on 2008-10-01 07:24:08 as **
  • Forcing in Proof Theory
    The Bulletin of Symbolic Logic, Vol. 10, No. 3. (2004), pp. 305-333.
    by Jeremy Avigad
    posted to print kripke-model forcing copy by yoriyuki on 2008-09-30 15:55:25 as read along with 2 people and 1 group rzach greg_restall LogicPhilMath
  • Independence results for weak systems of intuitionistic arithmetic
    MLQ, Vol. 49, No. 3. (2003), pp. 250-254.
    by Morteza Moniri
    posted to kripke-model constructive-mathematics bounded-arithmetic by yoriyuki on 2008-09-30 15:51:17 as **
  • Smoke and mirrors: setting the stage for a successful usability test
    Behaviour & Information Technology, Vol. 13, No. 1. (1994), pp. 9-16.
    by Marilyn C Salzman, David S Rivers
    posted to usability testing gui 1994 by shimomura on 2008-09-29 07:11:04 as **
  • State-Based Model Checking of Event-Driven System Requirements
    IEEE Transactions on Software Engineering, Vol. 19, No. 1. (1993), pp. 24-40.
    by JM Atlee, J Gannon
    posted to modelchecking event 1993 by shimomura on 2008-09-24 12:29:58 as **
  • A derivation system and compositional logic for security protocols
    J. Comput. Secur., Vol. 13, No. 3. (2005), pp. 423-482.
    by Anupam Datta, Ante Derek, John C Mitchell, Dusko Pavlovic
    posted to proof pi 2005 by shimomura on 2008-09-23 16:09:47 as **
  • A compositional logic for proving security properties of protocols
    Journal of Computer Security, Vol. 11 (2003)
    by Nancy Durgin, John Mitchell, Dusko Pavlovic
    posted to proof pi 2003 by shimomura on 2008-09-23 16:07:56 as **
  • A compositional logic for protocol correctness
    Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE (2001), pp. 241-255.
    by N Durgin, J Mitchell, D Pavlovic
    posted to proof pi logic 2001 by shimomura on 2008-09-23 16:03:27 as **
  • Thread-Modular Model Checking
    Model Checking Software (2003), pp. 624-624.
    by Cormac Flanagan, Shaz Qadeer
    posted to verification modelchecking concurrent abstraction 2003 by shimomura on 2008-09-23 14:29:48 as **
  • Thread-Modular Abstraction Refinement
    Computer Aided Verification (2003), pp. 262-274.
    by Thomas A Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
    posted to verification concurrent 2003 by shimomura on 2008-09-23 14:29:11 as **
  • Proof Systems for-Calculus Logics Mads Dam
    by Mads Dam
    posted to proof pi by shimomura on 2008-09-23 13:39:26 as **
  • An automated oracle for verifying GUI objects
    SIGSOFT Softw. Eng. Notes, Vol. 26, No. 4. (2001), pp. 83-88.
    posted to verification testing gui 2001 by shimomura on 2008-09-23 09:22:34 as **
  • Logical Foundations of Proof Complexity
    by Stephen Cook, Phuong Nguyen
    posted to print implicit-complexity copy complexity bounded-arithmetic by yoriyuki on 2008-09-14 14:16:06 as **
  • notes Automated test oracles for GUIs
    (2000)
    by Atif M Memon, Martha E Pollack, Mary L Soffa
    posted to verification testing specification read gui by shimomura on 2008-09-12 01:31:18 as read
  • A COMPREHENSIVE FRAMEWORK FOR TESTING GRAPHICAL USER INTERFACES
    (2001)
    by Atif M Memon
    posted to testing gui 2001 by shimomura on 2008-09-12 01:29:10 as **
  • What's so special about Kruskal's theorem and the ordinal [Gamma]o? A survey of some results in proof theory
    Annals of Pure and Applied Logic, Vol. 53, No. 3. (19 September 1991), pp. 199-260.
    by Gallier
    posted to reverse-mathematics ordinal-analysis by yoriyuki on 2008-09-09 17:16:28 as ** along with 1 person and 1 group rzach LogicPhilMath
  • Model-Based Testing Through a GUI
    Formal Approaches to Software Testing (2006), pp. 16-31.
    by Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara
    posted to testing gui 2006 by shimomura on 2008-09-09 11:48:37 as **
  • A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
    Formal Methods and Software Engineering (2005), pp. 450-464.
    by Ana Paiva, João Faria, Nikolai Tillmann, Raul Vidal
    posted to testing gui 2005 by shimomura on 2008-09-09 11:48:23 as **
  • Automated GUI interface testing
    (1998)
    by Marsten H Parker, Laurence R Kepple, Leah R Sklar, David C Laroche
    posted to testing gui 1998 by shimomura on 2008-09-09 11:46:56 as **
  • Firewall regression testing of GUI sequences and their interactions
    Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 398-409.
    by L White, H Almezen, S Sastry
    posted to testing gui 2003 by shimomura on 2008-09-09 11:45:22 as **
  • Finite state testing and analysis of graphical user interfaces
    Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on (2001), pp. 34-43.
    by F Belli
    posted to testing gui 2001 by shimomura on 2008-09-09 11:36:17 as **
  • Regression testing of GUIs
    (2003), pp. 118-127.
    by Atif M Memon, Mary L Soffa
    posted to testing gui 2003 by shimomura on 2008-09-09 11:30:34 as ** along with 1 person kevin3stone
  • Automating regression testing for evolving GUI software
    Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 1. (2005), pp. 27-64.
    by Atif Memon, Adithya Nagarajan, Qing Xie
    posted to testing gui 2005 by shimomura on 2008-09-09 11:29:26 as **
  • DART: a framework for regression testing "nightly/daily builds" of GUI applications
    Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 410-419.
    by A Memon, I Banerjee, N Hashmi, A Nagarajan
    posted to testing gui 2003 by shimomura on 2008-09-09 11:25:22 as **
  • notes A visual test development environment for GUI systems
    SIGSOFT Softw. Eng. Notes, Vol. 23, No. 2. (1998), pp. 82-92.
    by Thomas Ostrand, Aaron Anodide, Herbert Foster, Tarak Goradia
    posted to testing read gui 1998 by shimomura on 2008-09-09 11:24:13 as read
  • notes What Test Oracle Should I Use for Effective GUI Testing?
    ase, Vol. 0 (2003)
    by Atif Memon, Ishan Banerjee, Adithya Nagarajan
    posted to testing read gui 2003 by shimomura on 2008-09-09 11:17:57 as read
  • GUI testing: pitfalls and process
    Computer, Vol. 35, No. 8. (2002), pp. 87-88.
    by AM Memon
    posted to testing read gui 2002 by shimomura on 2008-09-09 11:15:37 as read
  • notes A verification method for some GUI dialogue properties
    Systems and Computers in Japan, Vol. 31, No. 14. (2000), pp. 38-46.
    by Yoshihiro Tsujino
    posted to verification read gui 2000 by shimomura on 2008-09-09 11:06:30 as read
  • notes Specification-driven automated testing of GUI-based Java programs
    (2004), pp. 140-145.
    by Yanhong Sun, Edward L Jones
    posted to testing specification java gui 2004 by shimomura on 2008-09-09 10:58:05 as read
  • notes Automation of GUI testing using a model-driven approach
    (2006), pp. 9-14.
    by Marlon Vieira, Johanne Leduc, Bill Hasling, Rajesh Subramanyan, Juergen Kazmeier
    posted to verification testing testcasegeneration read gui 2006 by shimomura on 2008-09-09 10:54:42 as read along with 1 person kevin3stone
  • Helping users avoid bugs in GUI applications
    Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 107-116.
    by A Michail, Tao Xie
    posted to read gui 2005 by shimomura on 2008-09-09 10:47:25 as read
  • SPINによるモデル検査
    by あきら　のなか
    posted to spin model-checking by yoriyuki on 2008-09-09 06:56:08 as **
  • Representing Control: A study of the CPS transformation
    Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391.
    by Olivier Danvy, Andrzej Filinski
    posted to cps control-operator by yoriyuki on 2008-09-06 17:47:24 as ** along with 7 people and 1 group twleung dherman JeffreyPalmer mvermaat ch pedagand jkominek NU-PRL
  • On rules of inference and the meanings of logical constants
    Analysis, Vol. 68, No. 300. (October 2008), pp. 282-287.
    by Raatikainen, Panu
    posted to proof-theoretical-semantics by yoriyuki on 2008-09-06 17:45:07 as ** along with 1 person rzach
  • Symmetry breaking in distributed networks
    Information and Computation, Vol. 88 (1990), pp. 150-158.
    by Alon Itai, Michael Rodeh
    posted to mcrm by suer on 2008-08-27 01:26:10 as **
  • Model checking Markov reward models with impulse rewards
    Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on (2005), pp. 722-731.
    by L Cloth, JP Katoen, M Khattri, R Pulungan
    posted to mcrm by suer on 2008-08-26 23:36:05 as **
  • Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
    Theor. Comput. Sci., Vol. 345, No. 1. (November 2005), pp. 2-26.
    by Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R Haverkort
    posted to mcrm by suer on 2008-08-26 23:24:49 as **
  • Compositional Performability Evaluation for STATEMATE
    (2006), pp. 167-178.
    by Eckard Bode, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
    posted to mcrm by suer on 2008-08-26 23:06:46 as **
  • Compositionality in the GreatSPN Tool and Its Application to the Modelling of Industrial Applications
    (2000), pp. 127-146.
    by S Bernardi, S Donatelli
    posted to mcrm by suer on 2008-08-26 22:20:46 as **
  • Chapter? QoS ANALYSIS OF GROUP COMMUNICATION PROTOCOLS IN WIRELESS ENVIRONMENT*
    by Andrea Bondavalli, Andrea Coccoli, Felicita Di Giandomenico
    posted to mcrm by suer on 2008-08-26 22:09:49 as **
  • Flap jax: Functional Reactive Web Programming
    (2006)
    by Leo Meyerovich
    posted to 2006 haskell by shimomura on 2008-08-20 16:21:40 as **
  • Directing JavaScript with Arrows
    (2008)
    by Khoo Y Phang, Michael Hicks, Jeffrey S Foster, Vibha Sazawal
    posted to 2008 arrow javascript read by shimomura on 2008-08-20 16:18:48 as read
  • Introducing categories to the practicing physicist
    by Bob Coecke
    posted to category quantum-computing by yoriyuki on 2008-08-14 03:40:23 as **
  • Timed Automata
    (1999)
    by Rajeev Alur
    posted to 1999 automata modelchecking timed verification by shimomura on 2008-08-10 15:11:48 as **
  • Comparing the Complexity of Cut-Elimination Methods
    Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings (2001), 49.
    by Matthias Baaz, Alexander Leitsch
    posted to complexity cut-elimination by yoriyuki on 2008-08-08 18:49:03 as ** along with 1 person rzach
  • The theory of timed automata
    Real-Time: Theory in Practice (1992), pp. 45-73.
    by Rajeev Alur, David Dill
    posted to 1992 automata modelchecking read timed by shimomura on 2008-08-08 03:47:18 as read
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/msakai/watchlist

    Result page: 1 2 3 4 5 6 7 8 9 10 Next 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.