Search dblp for Publications

export results for "toc:db/journals/scp/scp63.bht:"

 download as .bib file

@article{DBLP:journals/scp/Aldini06,
  author       = {Alessandro Aldini},
  title        = {Classification of security properties in a Linda-like process algebra},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {1},
  pages        = {16--38},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2005.07.010},
  doi          = {10.1016/J.SCICO.2005.07.010},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Aldini06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/AltisenMS06,
  author       = {Karine Altisen and
                  Florence Maraninchi and
                  David Stauch},
  title        = {Aspect-oriented programming for reactive systems: Larissa, a proposal
                  in the synchronous framework},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {3},
  pages        = {297--320},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2005.12.001},
  doi          = {10.1016/J.SCICO.2005.12.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AltisenMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BrogiCP06,
  author       = {Antonio Brogi and
                  Carlos Canal and
                  Ernesto Pimentel},
  title        = {Component adaptation through flexible subservicing},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {1},
  pages        = {39--56},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2005.07.012},
  doi          = {10.1016/J.SCICO.2005.07.012},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BrogiCP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CachopoS06,
  author       = {Jo{\~{a}}o P. Cachopo and
                  Ant{\'{o}}nio Rito Silva},
  title        = {Versioned boxes as the basis for memory transactions},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {2},
  pages        = {172--185},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.05.009},
  doi          = {10.1016/J.SCICO.2006.05.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CachopoS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CarlstromCCMMHKO06,
  author       = {Brian D. Carlstrom and
                  JaeWoong Chung and
                  Hassan Chafi and
                  Austen McDonald and
                  Chi Cao Minh and
                  Lance Hammond and
                  Christoforos E. Kozyrakis and
                  Kunle Olukotun},
  title        = {Executing Java programs with transactional memory},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {2},
  pages        = {111--129},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.05.006},
  doi          = {10.1016/J.SCICO.2006.05.006},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CarlstromCCMMHKO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CliftonL06,
  author       = {Curtis Clifton and
                  Gary T. Leavens},
  title        = {MiniMAO: An imperative core language for studying aspect-oriented
                  reasoning},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {3},
  pages        = {321--374},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.02.009},
  doi          = {10.1016/J.SCICO.2006.02.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CliftonL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DanaherLL06,
  author       = {John S. Danaher and
                  I{-}Ting Angelina Lee and
                  Charles E. Leiserson},
  title        = {Programming with exceptions in JCilk},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {2},
  pages        = {147--171},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.05.008},
  doi          = {10.1016/J.SCICO.2006.05.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DanaherLL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DutchynTK06,
  author       = {Christopher Dutchyn and
                  David B. Tucker and
                  Shriram Krishnamurthi},
  title        = {Semantics and scoping of aspects in higher-order languages},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {3},
  pages        = {207--239},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.01.003},
  doi          = {10.1016/J.SCICO.2006.01.003},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DutchynTK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/EugsterV06,
  author       = {Patrick Th. Eugster and
                  Sebastien Vaucouleur},
  title        = {Composing atomic features},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {2},
  pages        = {130--146},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.05.007},
  doi          = {10.1016/J.SCICO.2006.05.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/EugsterV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FocardiLZ06,
  author       = {Riccardo Focardi and
                  Roberto Lucchi and
                  Gianluigi Zavattaro},
  title        = {Secure shared data-space coordination languages: {A} process algebraic
                  survey},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {1},
  pages        = {3--15},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2005.07.011},
  doi          = {10.1016/J.SCICO.2005.07.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FocardiLZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FocardiZ06,
  author       = {Riccardo Focardi and
                  Gianluigi Zavattaro},
  title        = {Guest editor's introduction: Special issue on security issues in coordination
                  models, languages, and systems},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {1},
  pages        = {1--2},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.05.005},
  doi          = {10.1016/J.SCICO.2006.05.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FocardiZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FradetL06,
  author       = {Pascal Fradet and
                  Ralf L{\"{a}}mmel},
  title        = {Special issue on foundations of aspect-oriented programming},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {3},
  pages        = {203--206},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.07.001},
  doi          = {10.1016/J.SCICO.2006.07.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FradetL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/HarrisL06,
  author       = {Tim Harris and
                  Doug Lea},
  title        = {Special issue on synchronization and concurrency in object-oriented
                  languages},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {2},
  pages        = {109--110},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.06.001},
  doi          = {10.1016/J.SCICO.2006.06.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/HarrisL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/JagadeesanJR06,
  author       = {Radha Jagadeesan and
                  Alan Jeffrey and
                  James Riely},
  title        = {Typed parametric polymorphism for aspects},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {3},
  pages        = {267--296},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.02.008},
  doi          = {10.1016/J.SCICO.2006.02.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/JagadeesanJR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LigattiWZ06,
  author       = {Jay Ligatti and
                  David Walker and
                  Steve Zdancewic},
  title        = {A type-theoretic interpretation of pointcuts and advice},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {3},
  pages        = {240--266},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.01.004},
  doi          = {10.1016/J.SCICO.2006.01.004},
  timestamp    = {Tue, 09 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LigattiWZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MossH06,
  author       = {J. Eliot B. Moss and
                  Antony L. Hosking},
  title        = {Nested transactional memory: Model and architecture sketches},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {2},
  pages        = {186--201},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2006.05.010},
  doi          = {10.1016/J.SCICO.2006.05.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MossH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/NicolaGP06,
  author       = {Rocco De Nicola and
                  Daniele Gorla and
                  Rosario Pugliese},
  title        = {Confining data and processes in global computing applications},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {1},
  pages        = {57--87},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2005.07.013},
  doi          = {10.1016/J.SCICO.2005.07.013},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/NicolaGP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/OmiciniRV06,
  author       = {Andrea Omicini and
                  Alessandro Ricci and
                  Mirko Viroli},
  title        = {Agent Coordination Contexts for the formal specification and enactment
                  of coordination and security policies},
  journal      = {Sci. Comput. Program.},
  volume       = {63},
  number       = {1},
  pages        = {88--107},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.scico.2005.07.014},
  doi          = {10.1016/J.SCICO.2005.07.014},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/OmiciniRV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.