Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/Broy07a,
  author    = {Manfred Broy},
  title     = {Editorial-Science of Computer Programming-25 years},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {2},
  pages     = {103--104},
  year      = {2007}
}
@article{DBLP:journals/scp/CanalV07,
  author    = {Carlos Canal and
               Mirko Viroli},
  title     = {Preface},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {3},
  pages     = {181--183},
  year      = {2007}
}
@article{DBLP:journals/scp/ChothiaD07,
  author    = {Tom Chothia and
               Dominic Duggan},
  title     = {Capability passing processes},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {3},
  pages     = {184--204},
  year      = {2007}
}
@article{DBLP:journals/scp/ChungS07,
  author    = {Lawrence Chung and
               Nary Subramanian},
  title     = {Bridging the gap between enterprise architectures and software architectures},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {1},
  pages     = {1--3},
  year      = {2007}
}
@article{DBLP:journals/scp/ClarkeCA07,
  author    = {Dave Clarke and
               David Costa and
               Farhad Arbab},
  title     = {Connector colouring {I:} Synchronisation and context dependency},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {3},
  pages     = {205--225},
  year      = {2007}
}
@article{DBLP:journals/scp/Csenki07,
  author    = {Attila Csenki},
  title     = {Rotations in the plane and Prolog},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {2},
  pages     = {154--161},
  year      = {2007}
}
@article{DBLP:journals/scp/DaiC07,
  author    = {Lirong Dai and
               Kendra M. L. Cooper},
  title     = {Using {FDAF} to bridge the gap between enterprise and software architectures
               for security},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {1},
  pages     = {87--102},
  year      = {2007}
}
@article{DBLP:journals/scp/DuranM07,
  author    = {Francisco Dur{\'{a}}n and
               Jos{\'{e}} Meseguer},
  title     = {Maude's module algebra},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {2},
  pages     = {125--153},
  year      = {2007}
}
@article{DBLP:journals/scp/GarridoNGHR07,
  author    = {Jos{\'{e}} Luis Garrido and
               Manuel Noguera and
               Miguel Gonz{\'{a}}lez and
               Mar{\'{\i}}a Visitaci{\'{o}}n Hurtado and
               Mar{\'{\i}}a Luisa Rodr{\'{\i}}guez},
  title     = {Definition and use of Computation Independent Models in an MDA-based
               groupware development process},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {1},
  pages     = {25--43},
  year      = {2007}
}
@article{DBLP:journals/scp/GitzelKS07,
  author    = {Ralf Gitzel and
               Axel Korthaus and
               Martin Schader},
  title     = {Using established Web Engineering knowledge in model-driven approaches},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {2},
  pages     = {105--124},
  year      = {2007}
}
@article{DBLP:journals/scp/OgataF07,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Modeling and verification of real-time systems based on equations},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {2},
  pages     = {162--180},
  year      = {2007}
}
@article{DBLP:journals/scp/PenaHRSR07,
  author    = {Joaqu{\'{\i}}n Pe{\~{n}}a and
               Michael G. Hinchey and
               Manuel Resinas and
               Roy Sterritt and
               James L. Rash},
  title     = {Designing and managing evolving systems using a {MAS} product line
               approach},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {1},
  pages     = {71--86},
  year      = {2007}
}
@article{DBLP:journals/scp/PeschanskiDGB07,
  author    = {Fr{\'{e}}d{\'{e}}ric Peschanski and
               Alexis Darrasse and
               Nataliya Guts and
               J{\'{e}}r{\'{e}}my Bobbio},
  title     = {Coordinating mobile agents in interaction spaces},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {3},
  pages     = {246--265},
  year      = {2007}
}
@article{DBLP:journals/scp/ShinG07,
  author    = {Michael E. Shin and
               Hassan Gomaa},
  title     = {Software requirements and architecture modeling for evolving non-secure
               applications into secure applications},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {1},
  pages     = {60--70},
  year      = {2007}
}
@article{DBLP:journals/scp/VelaMPRV07,
  author    = {Francisco Luis Guti{\'{e}}rrez Vela and
               Jos{\'{e}} Luis Isla Montes and
               Patricia Paderewski{-}Rodr{\'{\i}}guez and
               Miguel S{\'{a}}nchez Rom{\'{a}}n and
               Beatriz Jim{\'{e}}nez Valverde},
  title     = {An architecture for access control management in collaborative enterprise
               systems based on organization models},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {1},
  pages     = {44--59},
  year      = {2007}
}
@article{DBLP:journals/scp/VerstichelHSBTDDV07,
  author    = {Stijn Verstichel and
               Sofie Van Hoecke and
               Matthias Strobbe and
               Steven Van den Berghe and
               Filip De Turck and
               Bart Dhoedt and
               Piet Demeester and
               Frederik Vermeulen},
  title     = {Ontology-driven middleware for next-generation train backbones},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {1},
  pages     = {4--24},
  year      = {2007}
}
@article{DBLP:journals/scp/ViroliDR07,
  author    = {Mirko Viroli and
               Enrico Denti and
               Alessandro Ricci},
  title     = {Engineering a {BPEL} orchestration engine as a multi-agent system},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {3},
  pages     = {226--245},
  year      = {2007}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics