default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 94
Volume 94, Part 1, November 2014
- Angelo Di Iorio
, Davide Rossi, Stefano Zacchiroli:
Web Technologies: Selected & extended papers from WT ACM SAC 2012. 1-2 - Matthias Book, Marco Buss, Volker Gruhn:
Process-aware continuation management in web applications. 3-17 - Sonya Liberman, Ronny Lempel:
Approximately optimal facet value selection. 18-31 - Frederik Hogenboom, Damir Vandic, Flavius Frasincar, Arnout Verheij, Allard Kleijn:
A query language and ranking algorithm for news items in the Hermes news processing framework. 32-52 - Matthias Heinrich, Franz Lehmann, Franz Josef Grüneberger, Martin Gaedke, Thomas Springer, Alexander Schill:
Enriching single-user web applications non-invasively with shared editing support. 53-66
Volume 94, Part 2, November 2014
- Elvinia Riccobene, Steve Reeves:
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. 67-68 - Vincenzo Gervasi, Egon Börger, Antonio Cisternino:
Modeling web applications infrastructure with ASMs. 69-92 - Paolo Arcaini, Angelo Gargantini:
Test generation for sequential nets of Abstract State Machines with information passing. 93-108 - Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu:
ASM, controller synthesis, and complete refinement. 109-129 - David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin:
Integrating SMT solvers in Rodin. 130-143 - Stefan Hallerstede, Thai Son Hoang:
Refinement of decomposed models by interface instantiation. 144-163 - Wen Su, Jean-Raymond Abrial, Huibiao Zhu:
Formalizing hybrid systems with Event-B and the Rodin Platform. 164-202 - Aleksandar Milicevic, Daniel Jackson:
Preventing arithmetic overflows in Alloy. 203-216 - Benoît Fraikin, Marc Frappier, Richard St-Denis:
Supervisory control theory with Alloy. 217-237 - Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles:
Revising basic theorem proving algorithms to cope with the logic of partial functions. 238-252
Volume 94, Part 3, November 2014
- Luís Soares Barbosa, Markus Lumpe:
Formal Aspects of Component Software (FACS 2010 selected and extended papers). 253-254 - Liang Zhao, Roberto Bruni, Zhiming Liu:
A sound and complete theory of graph transformations for service programming with sessions and pipelines. 255-288 - Michele Bugliesi, Andrea Marin, Sabina Rossi:
Model checking adaptive service compositions. 289-306 - Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien:
QoS contract preservation through dynamic reconfiguration: A formal semantics approach. 307-332 - Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic adaptation with distributed control in Paradigm. 333-361 - Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori:
Monitoring method call sequences using annotations. 362-378
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.
last updated on 2025-11-28 23:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
