Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

773 results
Deposit type : Fulltext
Page :
sorted by
Image document

Minimizing Walking Length in Map Matching

 Amin Gheibi , Anil Maheshwari , Jörg-Rüdiger Sack
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.105-120, ⟨10.1007/978-3-319-28678-5_8⟩
Conference papers hal-01446266v1
Image document

Rainbow Domination and Related Problems on Some Classes of Perfect Graphs

 Wing-Kai Hon , Ton Kloks , Hsiang-Hsuan Liu , Hung-Lung Wang
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.121-134, ⟨10.1007/978-3-319-28678-5_9⟩
Conference papers hal-01446271v1
Image document

A Behavioural Theory for a π-calculus with Preorders

 Daniel Hirschkoff , Jean-Marie Madiot , Xian Xu
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩
Conference papers hal-01246094v2
Image document

Incremental Realization of Safety Requirements: Non-determinism vs. Modularity

 Ali Ebnenasir
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.159-175, ⟨10.1007/978-3-319-24644-4_11⟩
Conference papers hal-01446598v1
Image document

Analyzing Mutable Checkpointing via Invariants

 Deepanker Aggarwal , Astrid Kiehn
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.176-190, ⟨10.1007/978-3-319-24644-4_12⟩
Conference papers hal-01446599v1
Image document

High Performance Computing Applications Using Parallel Data Processing Units

 Keyvan Azadbakht , Vlad Serbanescu , Frank De Boer
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.191-206, ⟨10.1007/978-3-319-24644-4_13⟩
Conference papers hal-01446600v1
Image document

Improved Iterative Methods for Verifying Markov Decision Processes

 Jaber Karimpour , Ayaz Isazadeh , Mohammadsadegh Mohagheghi , Khayyam Salehi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.207-214, ⟨10.1007/978-3-319-24644-4_14⟩
Conference papers hal-01446601v1
Image document

A Pre-congruence Format for XY-simulation

 Harsh Beohar , Mohammad Reza Mousavi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.215-229, ⟨10.1007/978-3-319-24644-4_15⟩
Conference papers hal-01446602v1
Image document

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?

 Sung-Shik Q. Jongmans , Farhad Arbab
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.238-258, ⟨10.1007/978-3-319-24644-4_17⟩
Conference papers hal-01446603v1
Image document

Painless Support for Static and Runtime Verification of Component-Based Applications

 Nuno Gaspar , Ludovic Henrio , Eric Madelaine
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Conference papers hal-01168757v2
Image document

Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines

 Sedigheh Khoshnevis , Fereidoon Shams
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.275-291, ⟨10.1007/978-3-319-24644-4_19⟩
Conference papers hal-01446605v1
Image document

Towards Smart Systems of Systems

 Holger Giese , Thomas Vogel , Sebastian Wätzoldt
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.1-29, ⟨10.1007/978-3-319-24644-4_1⟩
Conference papers hal-01446606v1
Image document

An Interval-Based Approach to Modelling Time in Event-B

 Gintautas Sulskus , Michael Poppleton , Abdolbaghi Rezazadeh
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.292-307, ⟨10.1007/978-3-319-24644-4_20⟩
Conference papers hal-01446607v1
Image document

From Event-B Models to Dafny Code Contracts

 Mohammadsadegh Dalvandi , Michael Butler , Abdolbaghi Rezazadeh
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.308-315, ⟨10.1007/978-3-319-24644-4_21⟩
Conference papers hal-01446608v1
Image document

Automated Integration of Service-Oriented Software Systems

 Marco Autili , Paola Inverardi , Massimo Tivoli
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.30-45, ⟨10.1007/978-3-319-24644-4_2⟩
Conference papers hal-01446609v1
Image document

Software Architecture Modeling and Evaluation Based on Stochastic Activity Networks

 Ali Sedaghatbaf , Mohammad Abdolahi Azgomi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.46-53, ⟨10.1007/978-3-319-24644-4_3⟩
Conference papers hal-01446610v1
Image document

Modeling and Efficient Verification of Broadcasting Actors

 Behnaz Yousefi , Fatemeh Ghassemi , Ramtin Khosravi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.69-83, ⟨10.1007/978-3-319-24644-4_5⟩
Conference papers hal-01446611v1
Image document

A Theory of Integrating Tamper Evidence with Stabilization

 Reza Hajisheykhi , Ali Ebnenasir , Sandeep S. Kulkarni
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.84-99, ⟨10.1007/978-3-319-24644-4_6⟩
Conference papers hal-01446612v1
Image document

A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-Based Distributed Systems

 Mohammad Ghafari , Abbas Heydarnoori , Hassan Haghighi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.100-109, ⟨10.1007/978-3-319-24644-4_7⟩
Conference papers hal-01446613v1
Image document

Benchmarks for Parity Games

 Jeroen A. Keiren
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.127-142, ⟨10.1007/978-3-319-24644-4_9⟩
Conference papers hal-01446614v1
Image document

Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems

 Razieh Behjati , Shiva Nejati
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.110-126, ⟨10.1007/978-3-319-24644-4_8⟩
Conference papers hal-01446633v1
Image document

Tooled Process for Early Validation of SysML Models using Modelica Simulation

 Jean-Marie Gauthier , Fabrice Bouquet , Ahmed Hammad , Fabien Peureux
6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩
Conference papers hal-01246025v1
Image document

Finding Objects Faster in Dense Environments using a Projection Augmented Robotic Arm

 Hind Gacem , Gilles Bailly , James R Eagan , Eric Lecolinet
INTERACT'15: IFIP International Conference on Human-Computer Interaction, Sep 2015, Bamberg, Germany. pp.221-238, ⟨10.1007/978-3-319-22698-9_15⟩
Conference papers hal-01447396v1
Image document

Understanding the Determinants of Privacy-ABC Technologies Adoption by Service Providers

 Ahmad Sabouri
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.119-132, ⟨10.1007/978-3-319-25013-7_10⟩
Conference papers hal-01448032v1
Image document

Consumers’ Perceptions of Social Commerce Adoption in Saudi Arabia

 Salma S. Abed , Yogesh K. Dwivedi , Michael D. Williams
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.133-143, ⟨10.1007/978-3-319-25013-7_11⟩
Conference papers hal-01448034v1
Image document

Linking Operational Business Intelligence with Value-Based Business Requirements

 Tom Hänel , Carsten Felden
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.147-159, ⟨10.1007/978-3-319-25013-7_12⟩
Conference papers hal-01448035v1
Image document

Operationalizing Data Governance via Multi-level Metadata Management

 Stefhan Van Helvoirt , Hans Weigand
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.160-172, ⟨10.1007/978-3-319-25013-7_13⟩
Conference papers hal-01448036v1
Image document

A MapReduce Based Distributed Framework for Similarity Search in Healthcare Big Data Environment

 Hiren K.D. Sarma , Yogesh K. Dwivedi , Nripendra P. Rana , Emma L. Slade
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.173-182, ⟨10.1007/978-3-319-25013-7_14⟩
Conference papers hal-01448037v1
Image document

Big Data, Big Opportunities: Revenue Sources of Social Media Services Besides Advertising

 Julian Bühler , Aaron W. Baur , Markus Bick , Jimin Shi
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.183-199, ⟨10.1007/978-3-319-25013-7_15⟩
Conference papers hal-01448038v1
Image document

Big Data Analytics as a Service for Business Intelligence

 Zhaohao Sun , Huasheng Zou , Kenneth Strang
14th Conference on e-Business, e-Services and e-Society (I3E), Oct 2015, Delft, Netherlands. pp.200-211, ⟨10.1007/978-3-319-25013-7_16⟩
Conference papers hal-01448039v1
Page :