


default search action
Search dblp for Publications
export results for "toc:db/journals/tosem/tosem19.bht:"
@article{DBLP:journals/tosem/BrogiPT10, author = {Antonio Brogi and Razvan Popescu and Matteo Tanca}, title = {Design and implementation of Sator: {A} web service aggregator}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {3}, pages = {10:1--10:21}, year = {2010}, url = {https://doi.org/10.1145/1656250.1656254}, doi = {10.1145/1656250.1656254}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/BrogiPT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/ChenDSM10, author = {Chunqing Chen and Jin Song Dong and Jun Sun and Andrew P. Martin}, title = {A verification system for interval-based specification languages}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {4}, pages = {13:1--13:36}, year = {2010}, url = {https://doi.org/10.1145/1734229.1734232}, doi = {10.1145/1734229.1734232}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/ChenDSM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/Notkin10, author = {David Notkin}, title = {Editorial}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {3}, pages = {7:1--7:2}, year = {2010}, url = {https://doi.org/10.1145/1656250.1656251}, doi = {10.1145/1656250.1656251}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/Notkin10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/PaytonJRR10, author = {Jamie Payton and Christine Julien and Gruia{-}Catalin Roman and Vasanth Rajamani}, title = {Semantic self-assessment of query results in dynamic environments}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {4}, pages = {12:1--12:33}, year = {2010}, url = {https://doi.org/10.1145/1734229.1734231}, doi = {10.1145/1734229.1734231}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/PaytonJRR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/PongeBCT10, author = {Julien Ponge and Boualem Benatallah and Fabio Casati and Farouk Toumani}, title = {Analysis and applications of timed service protocols}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {4}, pages = {11:1--11:38}, year = {2010}, url = {https://doi.org/10.1145/1734229.1734230}, doi = {10.1145/1734229.1734230}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/PongeBCT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/WhittleJ10, author = {Jon Whittle and Praveen K. Jayaraman}, title = {Synthesizing hierarchical state machines from expressive scenario descriptions}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {3}, pages = {8:1--8:45}, year = {2010}, url = {https://doi.org/10.1145/1656250.1656252}, doi = {10.1145/1656250.1656252}, timestamp = {Tue, 24 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/WhittleJ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/XuCCY10, author = {Chang Xu and Shing{-}Chi Cheung and W. K. Chan and Chunyang Ye}, title = {Partial constraint checking for context consistency in pervasive computing}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {3}, pages = {9:1--9:61}, year = {2010}, url = {https://doi.org/10.1145/1656250.1656253}, doi = {10.1145/1656250.1656253}, timestamp = {Fri, 02 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/XuCCY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/DesaiCS09, author = {Nirmit Desai and Amit K. Chopra and Munindar P. Singh}, title = {Amoeba: {A} methodology for modeling and evolving cross-organizational business processes}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {2}, pages = {6:1--6:45}, year = {2009}, url = {https://doi.org/10.1145/1571629.1571632}, doi = {10.1145/1571629.1571632}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/DesaiCS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/MasriP09, author = {Wes Masri and Andy Podgurski}, title = {Measuring the strength of information flows in programs}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {2}, pages = {5:1--5:33}, year = {2009}, url = {https://doi.org/10.1145/1571629.1571631}, doi = {10.1145/1571629.1571631}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/MasriP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/OuyangDAHM09, author = {Chun Ouyang and Marlon Dumas and Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Jan Mendling}, title = {From business process models to process-oriented software systems}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {1}, pages = {2:1--2:37}, year = {2009}, url = {https://doi.org/10.1145/1555392.1555395}, doi = {10.1145/1555392.1555395}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/OuyangDAHM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/RajanS09, author = {Hridesh Rajan and Kevin J. Sullivan}, title = {Unifying aspect- and object-oriented design}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {1}, pages = {3:1--3:41}, year = {2009}, url = {https://doi.org/10.1145/1555392.1555396}, doi = {10.1145/1555392.1555396}, timestamp = {Sun, 19 Jan 2025 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/RajanS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/TanZZ09, author = {Hee Beng Kuan Tan and Yuan Zhao and Hongyu Zhang}, title = {Conceptual data model-based software size estimation for information systems}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {2}, pages = {4:1--4:37}, year = {2009}, url = {https://doi.org/10.1145/1571629.1571630}, doi = {10.1145/1571629.1571630}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/TanZZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/TilevichS09, author = {Eli Tilevich and Yannis Smaragdakis}, title = {J-Orchestra: Enhancing Java programs with distribution capabilities}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {1}, pages = {1:1--1:40}, year = {2009}, url = {https://doi.org/10.1145/1555392.1555394}, doi = {10.1145/1555392.1555394}, timestamp = {Sun, 19 Jan 2025 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/TilevichS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }

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.