Registrati | Log in | FAQ      [?] 

Tag formal [168 articles]

Articoli recentemente classificati sotto il tag formal.
  • The use of automata in modelling and building a real-time component based system
    Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on (2001), pp. 69-76.
    by T Jones, L Blair
    posted to formal by zgu666 on 2006-05-04 16:34:51 as **
  • The essence of XML
    Vol. 38, No. 1. (January 2003), pp. 1-13.
    by J&\#233;r&\#244;me Sim&\#233;on, Philip Wadler
    posted to xml type-safety formal by water451 on 2007-01-16 03:57:26 as *** along with 3 people mxp msn tmiya
  • Better Bootstrap Confidence Intervals
    Journal of the American Statistical Association, Vol. 82, No. 397. (1987), pp. 171-185.
    by Bradley Efron
    posted to statistics formal confidence_intervals bootstrap by usr on 2008-07-11 18:32:26 as ** along with 1 person and 1 group klouie Glimcher_Lab
  • A formal study of information retrieval heuristics
    (2004), pp. 49-56.
    by Hui Fang, Tao Tao, Chengxiang Zhai
    posted to formal ir by theodora on 2007-04-28 04:18:43 as ** along with 2 people codex cnjieyang
  • A formal model for reasoning about adaptive QoS-enabled middleware
    ACM Trans. Softw. Eng. Methodol., Vol. 13, No. 1. (January 2004), pp. 86-147.
    by Nalini Venkatasubramanian, Carolyn Talcott, Gul A Agha
    posted to model mobco-formalization middleware formal by soblo on 2008-06-20 18:25:03 as ***
  • Evaluating the small scope hypothesis
    by A Andoni, D Daniliuc, S Khurshid, D Marinov
    posted to alloy formal methods by seanc on 2008-04-19 03:24:19 as read along with 1 person JeanMarieGaillourdet
  • A Refinement of de Bruijns Formal Language of Mathematics
    Journal of Logic, Language and Information, Vol. 13, No. 3., 287.
    by F Kamareddine, R Nederpelt
    posted to formal mathematics by Scis0000002 on 2007-08-18 05:53:26 as **
  • Phobos: A Front-End Approach to Extensible Compilers
    (2003)
    by Adam Granicz, Jason Hickey
    posted to compiler extension formal formal-development by scis0000001 on 2007-05-19 23:28:30 as **
  • Fractal Images of Formal Systems
    pp. 181-222.
    by Denis, P.S.
    posted to all-logical-theories axiomatic-system calculus formal formal-system fractafold fractal fractality ifs logic logical-graph logical-structures logical-theories lp representation self-similarity sierpinski-triangle tautology truth-table visualisation by scis0000001 on 2006-09-17 17:33:10 as **
  • A KIF Formalization for the IFF Category Theory Ontology
    by Robert E Kent
    posted to category-theory ct formal iff ontology by scis0000001 on 2006-10-07 14:03:09 as **
  • A Topos Foundation for Theories of Physics: IV. Categories of Systems
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
    posted to category-theory formal physics theory-development topos-theory by scis0000001 on 2007-04-11 10:37:58 as ** along with 3 people jrw proportional gpi
  • Formalized Mathematics
    No. TUCS-TR-36. (JanuaryApril, 1996)
    by John Harrison
    posted to formal mathematics by scis0000001 on 2006-12-10 15:40:04 as **
  • A Proposal for a Formal OCL Semantics in Isabelle/HOL
    No. 2410. (2002), pp. 99-114.
    by Achim D Brucker, Burkhart Wolff
    edited by César Muñoz, Sophiène Tahar, V\ictor Carreño
    posted to formal isabelle ocl semantics theory-development by scis0000001 on 2006-09-21 17:05:26 as **
  • Defining Formal Semantics for the Unified Modeling Language
    by William Andreopoulos
    posted to formal semantics uml by scis0000001 on 2006-09-21 17:03:58 as **
  • A Formal Foundation of the RM-ODP Conceptual Framework
    (2001)
    by A Naumenko, A Wegmann
    posted to formal rm-odp standards by scis0000001 on 2006-09-21 16:58:55 as **
  • A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
    posted to algorithmic-information-theory category-of-languages category-of-systems category-of-theories category-theory classicality computability-logic deep-inference dev effective-topos executable formal formal-development formal-language formal-language-theory formal-science formal-system formalization higher-dimensional-category-theory higher-dimensional-topos-theory hyperdoctrine iff intuitionistic-logic logics managed-logic metamodeling metascience modeling nonclassicality operational parchments physics quantum-domain-theory quantum-institutions representation rewriting-logic theory-development theory-selection topos topos-selection topos-theory unified-concept-theory by scis0000001 on 2007-04-12 08:08:24 as ** along with 5 people jrw proportional madhadron gpi Scis0000002
  • An overview of a Formal Framework for Managing Mathematics
    (2003)
    by W Farmer, M Mohrenschildt
    posted to automating automation computational-mathematics efficiency formal framework mathematics metaprocess mkm workflow by scis0000001 on 2006-09-19 08:36:16 as ** along with 1 person and 1 group JacquesC NU-PRL
  • Embedding a Formal Notation: Embedding of Z in the Higher Order Logics of Pvs And
    by Andew M Gravell, Chris H Pratten
    posted to embedding formal language by scis0000001 on 2006-12-11 14:21:49 as **
  • The Early Search for Tractable Ways of Reasoning About Programs
    by CB Jones
    posted to formal history methods by rosshorne on 2007-07-27 14:43:18 as *** along with 1 person kenhirsch
  • An introduction to description logics
    (2003), pp. 1-40.
    by Daniele Nardi, Ronald J Brachman
    posted to formal logic by rodrigogoulart on 2007-09-06 20:30:58 as ** along with 1 person tdlt
  • Adjunctions and Galois connections: origins, history and development
    (2004), pp. 1-138.
    by M Ern&\#233;
    posted to analysis concept connection formal galois lattice by robertgodin on 2006-05-25 14:12:38 as **
  • Experimental comparison of navigation in a Galois lattice with conventional information retrieval methods
    Int. J. Man-Mach. Stud., Vol. 38, No. 5. (May 1993), pp. 747-767.
    by Robert Godin, Rokia Missaoui, Alain April
    posted to analysis concept de formal galois information retrieval treillis by robertgodin on 2006-05-25 13:48:40 as **
  • Rewrite Systems
    (1990), pp. 243-320.
    by Nachum Dershowitz, Jean-Pierre Jouannaud
    posted to formal reference by rgrig on 2005-06-04 14:32:10 as *** along with 5 people and 1 group jrw radico scis0000001 ronjferg dara SRG_at_UCD
  • Systematic Software Development using VDM
    (1990)
    by Cliff B Jones
    posted to formal methods by rgrig on 2005-12-15 07:55:09 as ** along with 1 group SRG_at_UCD
  • Higher Order Logic
    (1994), pp. 229-321.
    by Daniel Leivant
    edited by DM Gabbay, CJ Hogger, JA Robinson
    posted to formal reference by rgrig on 2005-10-14 03:16:36 as ** along with 1 person and 1 group ds SRG_at_UCD
  • Preliminary Design of JML: A Behavioral Interface Specification Language for Java
    No. 98-06i. (2000)
    by Gary T Leavens, Albert L Baker, Clyde Ruby
    posted to formal java specs by rgrig on 2005-10-14 03:02:22 as **** along with 1 person and 1 group dsilva SRG_at_UCD
  • notes Formal methods: state of the art and future directions
    ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643.
    by Edmund M Clarke, Jeannette M Wing, Rajeev Alur, Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth Mcmillan, J Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jim Woodcock, Pamela Zave
    posted to formal by rgrig on 2005-10-14 03:01:08 as read along with 2 people and 1 group jimburton citeilike SRG_at_UCD
  • Type Systems
    (1997)
    by Luca Cardelli
    edited by Allen B Tucker
    posted to formal types by rgrig on 2005-11-18 12:35:38 as *** along with 9 people and 2 groups zuleger greenrd tautologico amorkan lyongu Bluetulip Leho jimburton mvermaat SRG_at_UCD Lambda the Ultimate
  • Java Bytecode Verification: An Overview
    Lecture Notes in Computer Science, Vol. 2102 (2001)
    by Xavier Leroy
    posted to formal reference verification by rgrig on 2005-10-14 12:43:36 as *** along with 1 person and 1 group amorkan SRG_at_UCD
  • Compiling with Proofs
    (1998)
    by George C Necula
    posted to compiler formal types by rgrig on 2005-05-30 19:20:40 as ** along with 1 group SRG_at_UCD
  • A Relational Model for Formal Object-Oriented Requirement Analysis in UML
    (2003)
    by Z Liu, H Jifeng, X Li, Y Chen
    posted to formal methods oo uml by rCOS on 2007-11-01 13:56:38 as **
  • Linking UML models of design and requirement
    (2004)
    by J Liu, Z Liu, J He, X Li
    posted to formal method uml by rCOS on 2007-11-01 13:54:45 as **
  • Linking UML models of design and requirement
    (2004)
    by J Liu, Z Liu, J He, X Li
    posted to formal method oo uml by rCOS on 2007-11-01 13:53:17 as ***** along with 1 person lzm
  • Formal and use-case driven requirement analysis in UML
    (2001)
    by X Li, Z Liu, J He
    posted to formal methods object-orientation by rCOS on 2007-11-01 13:50:30 as ***** along with 1 person lzm
  • Alloy: a lightweight object modelling notation
    ACM Trans. Softw. Eng. Methodol., Vol. 11, No. 2. (April 2002), pp. 256-290.
    by Daniel Jackson
    posted to formal methods by phoenix on 2006-06-09 11:04:59 as **** along with 4 people sjgaller asilva bfraser leonardo
  • notes Analyzing BitTorrent and related peer-to-peer networks
    SODA '06: Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm (2006), pp. 961-969.
    by David Arthur, Rina Panigrahy
    posted to bittorrent formal mak mb p2p systems by p2p-sec on 2006-08-18 04:08:55 as * along with 3 people hannes urvoy michiardi
  • Scaling solutions of Smoluchowski's coagulation equation
    Journal of Statistical Physics, Vol. 50, No. 1. (1 January 1988), pp. 295-329.
    by PGJ van Dongen, MH Ernst
    posted to coagulation formal physics self-similar by ozarfreo on 2007-05-16 14:26:59 as **
  • Ten commandments of formal methods... ten years later
    Computer, Vol. 39, No. 1. (2006), pp. 40-48.
    by JP Bowen, MG Hinchey
    posted to formal methods by oster on 2007-10-31 15:16:04 as ** along with 2 people and 2 groups benavides leonardo tdg ecoo-ce
  • Ten commandments of formal methods
    Computer, Vol. 28, No. 4. (1995), pp. 56-63.
    by JP Bowen, MG Hinchey
    posted to formal methods by oster on 2007-10-31 15:11:44 as ** along with 1 person and 2 groups benavides tdg ecoo-ce
  • A formal model of services
    ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 1. (February 2007)
    by Manfred Broy, Ingolf H Kr&\#252;ger, Michael Meisinger
    posted to formal soa by oscar on 2007-02-23 08:32:15 as ** along with 2 people and 1 group newdawn ddahlem onekin
  • Exhaustive Interpretation of Complex Sentences
    Journal of Logic, Language and Information, Vol. 13, No. 4. (March 2004), pp. 491-519.
    by Robert Rooij, Katrin Schulz
    posted to formal semantics by nicka on 2005-11-01 14:39:49 as ** along with 1 person MorganHill
  • Timed Automata
    Computer Aided Verification (1999), pp. 688-688.
    by Rajeev Alur
    posted to verification timed-automata model formal by newdawn on 2008-07-25 08:15:17 as **
  • A theory of timed automata
    Theoretical Computer Science, Vol. 126, No. 2. (1994), pp. 183-235.
    by Rajeev Alur, David L Dill
    posted to verification timed-automata formal by newdawn on 2008-07-25 08:06:42 as ** along with 4 people pgrabow dbueno astrivedi chengyongjiang
  • A Theory of Reactive Components
    Electronic Notes in Theoretical Computer Science, Vol. 160 (8 August 2006), pp. 173-195.
    by Jifeng He, Xiaoshan Li, Zhiming Liu
    posted to semantics rcos formal component by newdawn on 2008-06-26 08:41:08 as ***** along with 1 person StFX_Logic
  • notes Interface automata
    (2001), pp. 109-120.
    by Luca de Alfaro, Thomas A Henzinger
    posted to interface-automata formal component by newdawn on 2008-06-27 08:41:49 as read along with 2 people and 1 group charoy jfischer ecoo-pe
  • A Model of Component-Based Programming
    International Symposium on Fundamentals of Software Engineering (2007), pp. 191-206.
    by Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
    posted to rcos formal component by newdawn on 2008-06-26 09:40:59 as **
  • notes Co-evolution of complementary formal and informal requirements
    Software Evolution, 2004. Proceedings. 7th International Workshop on Principles of (2004), pp. 159-164.
    by A Krishna, AK Ghose, SA Vilkomir
    posted to formal i-star requirements by neilernst on 2005-08-03 17:39:14 as read
  • Trust Management and Trust Theory Revision
    Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 3. (2006), pp. 451-460.
    by J Ma, MA Orgun
    posted to formal trust by neilernst on 2006-05-15 21:55:46 as *** along with 1 person kingsunshine
  • Autonomic-Computing Approach to Secure Knowledge Management: A Game-Theoretic Analysis
    Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 3. (2006), pp. 487-497.
    by H Arora, BK Mishra, TS Raghu
    posted to formal knowledge management by neilernst on 2006-05-15 21:54:47 as **
  • Reasoning about partial goal satisfaction for requirements and design engineering
    (November 2004), pp. 53-62.
    by Emmanuel Letier, Axel van Lamsweerde
    posted to formal goal probabilistic requirements by neilernst on 2006-07-16 23:59:17 as read
    • Puoi citare questa pagina come: http://www.citeulike.org/tag/formal

    Result page: 1 2 3 4 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.