Bibsonomy :: author  ::

bookmarks

publications

(195)

• 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
  | URL | BibTeX  
• Pathway Logic.
  Carolyn L. Talcott SFM 21-53 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• Full Maude: Extending Core Maude.
  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 559-597 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX