BibSonomy publications for /author/Talcott http://www.bibsonomy.org/author/Talcott BibSonomy RSS Feed for /author/Talcott Formally Modeling UML and its Evolution: a Holistic Approach http://www.bibsonomy.org/bibtex/26a71efd2941322990d1f4e5a11be642c/pdeleenh pdeleenh 2008-07-07T16:45:32+02:00 UML
Formally Modeling UML and its Evolution: a Holistic Approach
A. Toval and J.L.F. {Alem\'an} Formal Methods for Open Object-based Distributed Systems IV 183-206 (2000)
to UML by pdeleenh and 3 other people on 2008-07-07 16:45:32
]]> A Formal Framework for Interactive Agents. dblp http://www.bibsonomy.org/bibtex/2687a97ef6f99c6bda0604bc3dcf530d2/dblp dblp 2008-06-11T00:00:00+02:00 dblp
A Formal Framework for Interactive Agents.
Carolyn L. Talcott Electr. Notes Theor. Comput. Sci. 203 95-106 (2008)
to dblp by dblp on 2008-06-11 00:00:00
]]> Pathway Logic. dblp http://www.bibsonomy.org/bibtex/29f77cd850321c0d37ec750004c94c317/dblp dblp 2008-06-09T00:00:00+02:00 dblp
Pathway Logic.
Carolyn L. Talcott SFM 21-53 (2008)
to dblp by dblp on 2008-06-09 00:00:00
]]> Application-based early performance evaluation of SGI altix 4700 systems for SGI systems. dblp http://www.bibsonomy.org/bibtex/217d72bd8971d3dabbe8b5cc9dd0ec1a6/dblp dblp 2008-05-15T00:00:00+02:00 dblp
Application-based early performance evaluation of SGI altix 4700 systems for SGI systems.
Subhash Saini and Dennis C. Jespersen and Dale Talcott and M. Jahed Djomehri and Timothy Sandstrom Conf. Computing Frontiers 113-114 (2008)
to dblp by dblp on 2008-05-15 00:00:00
]]> Coordination for Orchestration. dblp http://www.bibsonomy.org/bibtex/2374f18771ab1c3cd23964c45880e7765/michelw michelw 2008-04-23T13:53:43+02:00 2002 coordination myown
Coordination for Orchestration.
Luis Filipe Andrade and José Luiz Fiadeiro and João Gouveia and Georgios Koutsoukos and Michel Wermelinger COORDINATION 5-13 (2002)
to 2002 coordination myown by michelw and 1 other person on 2008-04-23 13:53:43
]]> Reputation-Based Trust Management http://www.bibsonomy.org/bibtex/246fcffc277d04526f645e5dbb34a4e07/dawinci dawinci 2008-04-14T13:09:34+02:00 event license management misuse reputation resource trust violation
Reputation-Based Trust Management
Vitaly Shmatikov and Carolyn Talcott Journal of Computer Security 13 167-190 (2005)
to event license management misuse reputation resource trust violation by dawinci and 1 other person on 2008-04-14 13:09:34
]]> Introduction. dblp http://www.bibsonomy.org/bibtex/2a8dc6db9f1a083e62f09fc89922731f1/dblp dblp 2008-01-08T00:00:00+01:00 dblp
Introduction.
Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott All About Maude 1-28 (2007)
to dblp by dblp on 2008-01-08 00:00:00
]]> A Sampler of Application Areas. dblp http://www.bibsonomy.org/bibtex/2fcc2edbc2c348a37ee4f8e63e54bd480/dblp dblp 2008-01-08T00:00:00+01:00 dblp
A Sampler of Application Areas.
Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott All About Maude 645-665 (2007)
to dblp by dblp on 2008-01-08 00:00:00
]]> Some Tools. dblp http://www.bibsonomy.org/bibtex/2063993d086d6a273b976e78dce3e81c6/dblp dblp 2008-01-08T00:00:00+01:00 dblp
Some Tools.
Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott and Christiano Braga and Azadeh Farzan and Joe Hendrix and Peter Csaba Ölveczky and Miguel Palomino and Ralf Sasse and Mark-Oliver Stehr and Alberto Verdejo All About Maude 667-693 (2007)
to dblp by dblp on 2008-01-08 00:00:00
]]> Object-Oriented Modules. dblp http://www.bibsonomy.org/bibtex/237097359e69edd614c7ee9461df19c73/dblp dblp 2008-01-08T00:00:00+01:00 dblp
Object-Oriented Modules.
Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott All About Maude 599-642 (2007)
to dblp by dblp on 2008-01-08 00:00:00
]]>