Login / Signup
Electron. Notes Theor. Comput. Sci.
1995
2000
2010
2018
1995
2018
Keyphrases
Publications
volume 340, 2018
Mohammed Alqahtani
,
Aad van Moorsel
Risk Assessment Methodology For EMV Financial Transaction Systems.
Electron. Notes Theor. Comput. Sci.
340 (2018)
Abdulaziz Alnori
,
Karim Djemame
A Holistic Resource Management for Graphics Processing Units in Cloud Computing.
Electron. Notes Theor. Comput. Sci.
340 (2018)
Maher Alharby
,
Aad van Moorsel
The Impact of Profit Uncertainty on Miner Decisions in Blockchain Systems.
Electron. Notes Theor. Comput. Sci.
340 (2018)
Chuku Ejike
,
Demetres Kouvatsos
Impact of Scalability on the Performance of Secured Cognitive Radio Networks.
Electron. Notes Theor. Comput. Sci.
340 (2018)
Bashir Mohammed
,
Babagana Modu
,
Kabiru M. Maiyama
,
Hassan Ugail
,
Irfan Awan
,
Mariam Kiran
Failure Analysis Modelling in an Infrastructure as a Service (Iaas) Environment.
Electron. Notes Theor. Comput. Sci.
340 (2018)
Osama Nasser Alrajeh
,
Nigel Thomas
Preface.
Electron. Notes Theor. Comput. Sci.
340 (2018)
Zhenyu Chen
,
Lin Guan
,
Xingang Wang
Interactive Behaviour Between the Dynamic Arrival Process of Complex Traffic Source and a Bottleneck Queue.
Electron. Notes Theor. Comput. Sci.
340 (2018)
Dean G. Chester
,
Steven A. Wright
,
Stephen A. Jarvis
Understanding Communication Patterns in HPCG.
Electron. Notes Theor. Comput. Sci.
340 (2018)
Adam Cattermole
,
Matthew Forshaw
An Automated Approach to Cloud Performance Benchmarking.
Electron. Notes Theor. Comput. Sci.
340 (2018)
Dominic A. S. Brown
,
Steven A. Wright
,
Stephen A. Jarvis
Performance of a Second Order Electrostatic Particle-in-Cell Algorithm on Modern Many-Core Architectures.
Electron. Notes Theor. Comput. Sci.
340 (2018)
Rana R. Ahmed
,
Demetres D. Kouvatsos
An Efficient CoMP-based Handover Scheme for Evolving Wireless Networks.
Electron. Notes Theor. Comput. Sci.
340 (2018)
volume 337, 2018
Matthew Forshaw
,
William J. Knottenbelt
,
Nigel Thomas
,
Katinka Wolter
Preface.
Electron. Notes Theor. Comput. Sci.
337 (2018)
Karim Lounis
Stochastic-based Semantics Of Attack-Defense Trees For Security Assessment.
Electron. Notes Theor. Comput. Sci.
337 (2018)
Said Naser Said Kamil
,
Nigel Thomas
Investigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing.
Electron. Notes Theor. Comput. Sci.
337 (2018)
Paul Piho
,
Anastasis Georgoulas
,
Jane Hillston
Goals and Resource Constraints in CARMA.
Electron. Notes Theor. Comput. Sci.
337 (2018)
Johanne Cohen
,
A. Fauquette
,
Jean-Michel Fourneau
,
G. C. Noukela
,
Nihal Pekergin
Convex Stochastic Bounds and Stochastic Optimisation on Graphs.
Electron. Notes Theor. Comput. Sci.
337 (2018)
Björn F. Postema
,
Boudewijn R. Haverkort
Evaluation of Advanced Data Centre Power Management Strategies.
Electron. Notes Theor. Comput. Sci.
337 (2018)
Marziyeh Bayati
Power Management Policy for Heterogeneous Data Center Based on Histogram and Discrete-Time MDP.
Electron. Notes Theor. Comput. Sci.
337 (2018)
Illés Horváth
,
Zsófia Talyigás
,
Miklós Telek
An Optimal Inverse Laplace Transform Method Without Positive and Negative Overshoot - An Integral Based Interpretation.
Electron. Notes Theor. Comput. Sci.
337 (2018)
Marco Gribaudo
,
Mauro Iacono
,
Daniele Manini
Performance Evaluation of Replication Policies in Microservice Based Architectures.
Electron. Notes Theor. Comput. Sci.
337 (2018)
Marco Gribaudo
,
Riccardo Pinciroli
,
Kishor S. Trivedi
Epistemic Uncertainty Propagation in Power Models.
Electron. Notes Theor. Comput. Sci.
337 (2018)
Claudia Krull
,
Marcus Thiel
,
Graham Horton
Testing Applicability of Virtual Stochastic Sensors for Non-Intrusive Appliance Load Monitoring.
Electron. Notes Theor. Comput. Sci.
337 (2018)
volume 334, 2018
Gianluca Amato
,
Marco Rubino
Experimental Evaluation of Numerical Domains for Inferring Ranges.
Electron. Notes Theor. Comput. Sci.
334 (2018)
Jacob Lidman
,
Josef Svenningsson
Fuzzy Set Abstraction.
Electron. Notes Theor. Comput. Sci.
334 (2018)
Enea Zaffanella
On the Efficiency of Convex Polyhedra.
Electron. Notes Theor. Comput. Sci.
334 (2018)
Francesca Scozzari
Preface.
Electron. Notes Theor. Comput. Sci.
334 (2018)
volume 331, 2017
Vincenzo Arceri
,
Sergio Maffeis
Abstract Domains for Type Juggling.
Electron. Notes Theor. Comput. Sci.
331 (2017)
Mila Dalla Preda
,
Michele Pasqua
Software Watermarking: A Semantics-based Approach.
Electron. Notes Theor. Comput. Sci.
331 (2017)
Jacques-Henri Jourdan
Sparsity Preserving Algorithms for Octagons.
Electron. Notes Theor. Comput. Sci.
331 (2017)
Mila Dalla Preda
,
Vanessa Vidali
Abstract Similarity Analysis.
Electron. Notes Theor. Comput. Sci.
331 (2017)
Isabella Mastroeni
Preface.
Electron. Notes Theor. Comput. Sci.
331 (2017)
Antoine Miné
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities.
Electron. Notes Theor. Comput. Sci.
331 (2017)
volume 330, 2016
Marko C. J. D. van Eekelen
,
Kerstin Eder
Preface.
Electron. Notes Theor. Comput. Sci.
330 (2016)
Jérémie Salvucci
,
Emmanuel Chailloux
Memory Consumption Analysis for a Functional and Imperative Language.
Electron. Notes Theor. Comput. Sci.
330 (2016)
John Magnus Morton
,
Patrick Maier
,
Phil Trinder
JIT-Based Cost Analysis for Dynamic Program Transformations.
Electron. Notes Theor. Comput. Sci.
330 (2016)
volume 328, 2016
Everardo Bárcenas
,
Edgard Benítez-Guerrero
,
Jesús Lavalle
On Regular Paths with Counting and Data Tests.
Electron. Notes Theor. Comput. Sci.
328 (2016)
J. Leonardo González-Ruiz
,
José Raymundo Marcial-Romero
,
José Antonio Hernández Servín
Computing the Clique-width of Cactus Graphs.
Electron. Notes Theor. Comput. Sci.
328 (2016)
José R. Arrazola Ramírez
,
José Raymundo Marcial-Romero
Preface.
Electron. Notes Theor. Comput. Sci.
328 (2016)
Verónica Borja Macías
,
Miguel Pérez-Gaspar
Kripke-type Semantics for.
Electron. Notes Theor. Comput. Sci.
328 (2016)
Guillermo De Ita Luna
,
José Raymundo Marcial-Romero
,
José Antonio Hernández Servín
The Incremental Satisfiability Problem for a Two Conjunctive Normal Form.
Electron. Notes Theor. Comput. Sci.
328 (2016)
Mauricio Osorio
,
José Luis Carballido
,
Claudia Zepeda
Defining Stage Argumentation Semantics in Terms of an Abducible Semantics.
Electron. Notes Theor. Comput. Sci.
328 (2016)
volume 327, 2016
Enrico Barbierato
,
Marco Gribaudo
,
Mauro Iacono
Modeling Hybrid Systems in SIMTHESys.
Electron. Notes Theor. Comput. Sci.
327 (2016)
Kalyan S. Perumalla
,
Mohammed M. Olama
,
Srikanth B. Yoginath
Model-based Dynamic Control of Speculative Forays in Parallel Computation.
Electron. Notes Theor. Comput. Sci.
327 (2016)
Jean-Michel Fourneau
,
Nihal Pekergin
Dynamic Fault Trees with Rejuvenation: Numerical Analysis and Stochastic Bounds.
Electron. Notes Theor. Comput. Sci.
327 (2016)
Stefan Haar
,
Simon Theissing
Forecasting Passenger Loads in Transportation Networks.
Electron. Notes Theor. Comput. Sci.
327 (2016)
Boudewijn R. Haverkort
,
William J. Knottenbelt
,
Anne Remke
,
Nigel Thomas
Preface.
Electron. Notes Theor. Comput. Sci.
327 (2016)
Qiushi Wang
,
Fabian Reimeier
,
Katinka Wolter
Efficient Image Stitching through Mobile Offloading.
Electron. Notes Theor. Comput. Sci.
327 (2016)
Michael T. Todinov
Stochastic Pruning and Its Application for Fast Estimation of the Expected Total Output of Complex Systems.
Electron. Notes Theor. Comput. Sci.
327 (2016)
Christoph Müller
,
Piotr Rygielski
,
Simon Spinner
,
Samuel Kounev
Enabling Fluid Analysis for Queueing Petri Nets via Model Transformation.
Electron. Notes Theor. Comput. Sci.
327 (2016)
volume 326, 2016
Masahiro Hamano
Stochastic Transcription Elongation via Rule Based Modelling.
Electron. Notes Theor. Comput. Sci.
326 (2016)