Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/scp/scp98.bht:"
@article{DBLP:journals/scp/AbebeT15, author = {Surafel Lemma Abebe and Paolo Tonella}, title = {Extraction of domain concepts from the source code}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {680--706}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.09.012}, doi = {10.1016/J.SCICO.2014.09.012}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AbebeT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/AmalioG15, author = {Nuno Am{\'{a}}lio and Christian Glodt}, title = {A tool for visual and formal modelling of software designs}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {52--79}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.05.002}, doi = {10.1016/J.SCICO.2014.05.002}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AmalioG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/ArnaudDDT15, author = {Jean{-}Baptiste Arnaud and St{\'{e}}phane Ducasse and Marcus Denker and Camille Teruel}, title = {Handles: Behavior-propagating first class references for dynamically-typed languages}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {318--338}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.07.011}, doi = {10.1016/J.SCICO.2014.07.011}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/ArnaudDDT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/AshrovMWW15, author = {Adiel Ashrov and Assaf Marron and Gera Weiss and Guy Wiener}, title = {A use-case for behavioral programming: An architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {268--292}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.01.017}, doi = {10.1016/J.SCICO.2014.01.017}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AshrovMWW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BensalemBQS15, author = {Saddek Bensalem and Marius Bozga and Jean Quilbeuf and Joseph Sifakis}, title = {Optimized distributed implementation of multiparty interactions with Restriction}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {293--316}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.02.013}, doi = {10.1016/J.SCICO.2014.02.013}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BensalemBQS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BolzT15, author = {Carl Friedrich Bolz and Laurence Tratt}, title = {The impact of meta-tracing on {VM} design and implementation}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {408--421}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2013.02.001}, doi = {10.1016/J.SCICO.2013.02.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BolzT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BozzanoCLMMRT15, author = {Marco Bozzano and Alessandro Cimatti and Oleg Lisagor and Cristian Mattarei and Sergio Mover and Marco Roveri and Stefano Tonetta}, title = {Safety assessment of AltaRica models via symbolic model checking}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {464--483}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.06.003}, doi = {10.1016/J.SCICO.2014.06.003}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/BozzanoCLMMRT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BrandRKR15, author = {Mark van den Brand and Davide Di Ruscio and Dimitrios S. Kolovos and Louis M. Rose}, title = {Guest editors' introduction to the fifth issue of Experimental Software and Toolkits {(EST):} {A} special issue on Academics Modelling with Eclipse {(ACME2012)}}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {1--2}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.11.001}, doi = {10.1016/J.SCICO.2014.11.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BrandRKR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Clark15, author = {Tony Clark}, title = {{XPL:} {A} language for modular homogeneous language embedding}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {589--616}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.08.005}, doi = {10.1016/J.SCICO.2014.08.005}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Clark15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/CortellessaMP15, author = {Vittorio Cortellessa and Raffaela Mirandola and Pasqualina Potena}, title = {Managing the evolution of a software architecture at minimal cost under performance and reliability constraints}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {439--463}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.06.001}, doi = {10.1016/J.SCICO.2014.06.001}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/CortellessaMP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/CutsemM15, author = {Tom Van Cutsem and Mark S. Miller}, title = {Robust trait composition for Javascript}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {422--438}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2012.11.001}, doi = {10.1016/J.SCICO.2012.11.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/CutsemM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/DiazEF15, author = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and Clara Benac Earle and Lars{-}{\AA}ke Fredlund}, title = {Adding distribution and fault tolerance to Jason}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {205--232}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.01.007}, doi = {10.1016/J.SCICO.2014.01.007}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/DiazEF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/GocD15, author = {Yannick Le Goc and Alexandre Donz{\'{e}}}, title = {{EVL:} {A} framework for multi-methods in {C++}}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {531--550}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.08.003}, doi = {10.1016/J.SCICO.2014.08.003}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/GocD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/GomezDD15, author = {Ver{\'{o}}nica Uquillas G{\'{o}}mez and St{\'{e}}phane Ducasse and Theo D'Hondt}, title = {Visually characterizing source code changes}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {376--393}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2013.08.002}, doi = {10.1016/J.SCICO.2013.08.002}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/GomezDD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/HarelKKMWW15, author = {David Harel and Amir Kantor and Guy Katz and Assaf Marron and Gera Weiss and Guy Wiener}, title = {Towards behavioral programming in distributed architectures}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {233--267}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.03.003}, doi = {10.1016/J.SCICO.2014.03.003}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/HarelKKMWW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/JimenezVBM15, author = {{\'{A}}lvaro Jim{\'{e}}nez and Juan M. Vara and Ver{\'{o}}nica Andrea Bollati and Esperanza Marcos}, title = {MeTAGeM-Trace: Improving trace generation in model transformation by leveraging the role of transformation models}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {3--27}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.09.003}, doi = {10.1016/J.SCICO.2014.09.003}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/JimenezVBM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/JordanBNBC15, author = {Howell R. Jordan and Goetz Botterweck and John Noll and Andrew Butterfield and Rem W. Collier}, title = {A feature model of actor, agent, functional, object, and procedural programming languages}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {120--139}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.02.009}, doi = {10.1016/J.SCICO.2014.02.009}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/JordanBNBC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/KhamespanahSSKI15, author = {Ehsan Khamespanah and Marjan Sirjani and Zeynab Sabahi{-}Kaviani and Ramtin Khosravi and Mohammad{-}Javad Izadi}, title = {Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {184--204}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.07.005}, doi = {10.1016/J.SCICO.2014.07.005}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/KhamespanahSSKI15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/KosterMDC15, author = {Joeri De Koster and Stefan Marr and Theo D'Hondt and Tom Van Cutsem}, title = {Domains: Safe sharing among actors}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {140--158}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.02.008}, doi = {10.1016/J.SCICO.2014.02.008}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/KosterMDC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/KwiatkowskiV15, author = {Lukasz M. Kwiatkowski and Chris Verhoef}, title = {Reducing operational costs through {MIPS} management}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {551--588}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.09.001}, doi = {10.1016/J.SCICO.2014.09.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/KwiatkowskiV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/LavalK15, author = {Jannik Laval and Andy Kellens}, title = {Advances in Dynamic Languages}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {317}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.10.009}, doi = {10.1016/J.SCICO.2014.10.009}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/LavalK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Majster-CederbaumS15, author = {Mila E. Majster{-}Cederbaum and Nils Semmelrock}, title = {A basis for compositionally ensuring safety properties and its connection to relational algebraic operators}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {516--530}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.07.006}, doi = {10.1016/J.SCICO.2014.07.006}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Majster-CederbaumS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/MarekZABSBT15, author = {Luk{\'{a}}s Marek and Yudi Zheng and Danilo Ansaloni and Lubom{\'{\i}}r Bulej and Aibek Sarimbekov and Walter Binder and Petr Tuma}, title = {Introduction to dynamic program analysis with DiSL}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {100--115}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.01.003}, doi = {10.1016/J.SCICO.2014.01.003}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/MarekZABSBT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/MargarisVG15, author = {Dionisis Margaris and Costas Vassilakis and Panagiotis Georgiadis}, title = {An integrated framework for adapting {WS-BPEL} scenario execution using QoS and collaborative filtering techniques}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {707--734}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.10.007}, doi = {10.1016/J.SCICO.2014.10.007}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/MargarisVG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/MargoorK15, author = {Amogh Margoor and Raghavan Komondoor}, title = {Two techniques to improve the precision of a demand-driven null-dereference verification approach}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {645--679}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.09.006}, doi = {10.1016/J.SCICO.2014.09.006}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/MargoorK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/MarrRHM15, author = {Stefan Marr and Thierry Renaux and Lode Hoste and Wolfgang De Meuter}, title = {Parallel gesture recognition with soft real-time guarantees}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {159--183}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.02.012}, doi = {10.1016/J.SCICO.2014.02.012}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/MarrRHM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/MuLM15, author = {Shin{-}Cheng Mu and Yu{-}Han Lyu and Akimasa Morihata}, title = {Approximate by thinning: Deriving fully polynomial-time approximation schemes}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {484--515}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.07.001}, doi = {10.1016/J.SCICO.2014.07.001}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/MuLM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/OliveroLD15, author = {Fernando Olivero and Michele Lanza and Marco D'Ambros}, title = {Object-focused environments revisited}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {394--407}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2013.07.011}, doi = {10.1016/J.SCICO.2013.07.011}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/OliveroLD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/ParizekL15, author = {Pavel Par{\'{\i}}zek and Ondrej Lhot{\'{a}}k}, title = {Model checking of concurrent programs with static analysis of field accesses}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {735--763}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.10.008}, doi = {10.1016/J.SCICO.2014.10.008}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/ParizekL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/PeckBFDT15, author = {Mariano Martinez Peck and Noury Bouraqadi and Luc Fabresse and Marcus Denker and Camille Teruel}, title = {Ghost: {A} uniform and general-purpose proxy implementation}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {339--359}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.05.015}, doi = {10.1016/J.SCICO.2014.05.015}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/PeckBFDT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/RicciABM15, author = {Alessandro Ricci and Gul A. Agha and Rafael H. Bordini and Assaf Marron}, title = {Special issue on programming based on actors, agents and decentralized control}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {117--119}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.10.003}, doi = {10.1016/J.SCICO.2014.10.003}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/RicciABM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/SanchezOBH15, author = {Alejandro Sanchez and Nuno Oliveira and Lu{\'{\i}}s Soares Barbosa and Pedro Rangel Henriques}, title = {A perspective on architectural re-engineering}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {764--784}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.02.026}, doi = {10.1016/J.SCICO.2014.02.026}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/SanchezOBH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/ScholliersTM15, author = {Christophe Scholliers and {\'{E}}ric Tanter and Wolfgang De Meuter}, title = {Computational contracts}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {360--375}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2013.09.005}, doi = {10.1016/J.SCICO.2013.09.005}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/ScholliersTM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/SongT15, author = {Myoungkyu Song and Eli Tilevich}, title = {Reusing metadata across components, applications, and languages}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {617--644}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.09.002}, doi = {10.1016/J.SCICO.2014.09.002}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/SongT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/UjhelyiBHHIRSV15, author = {Zolt{\'{a}}n Ujhelyi and G{\'{a}}bor Bergmann and {\'{A}}bel Heged{\"{u}}s and {\'{A}}kos Horv{\'{a}}th and Benedek Izs{\'{o}} and Istv{\'{a}}n R{\'{a}}th and Zolt{\'{a}}n Szatm{\'{a}}ri and D{\'{a}}niel Varr{\'{o}}}, title = {EMF-IncQuery: An integrated development environment for live model queries}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {80--99}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.01.004}, doi = {10.1016/J.SCICO.2014.01.004}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/UjhelyiBHHIRSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Zaytsev15, author = {Vadim Zaytsev}, title = {Grammar Zoo: {A} corpus of experimental grammarware}, journal = {Sci. Comput. Program.}, volume = {98}, pages = {28--51}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.07.010}, doi = {10.1016/J.SCICO.2014.07.010}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Zaytsev15.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.