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

Filter your results

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

A Virtual Community Design for Home-Based Chronic Disease Healthcare

 Yan Hu , Guohua Bai , Jenny Lundberg , Sara Eriksén
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.175-189, ⟨10.1007/978-3-319-45916-5_11⟩
Conference papers hal-01631319v1
Image document

Interplay of Requirements Engineering and Human Computer Interaction Approaches in the Evolution of a Mobile Agriculture Information System

 Lasanthi De Silva , Tamara Ginige , Pasquale Di Giovanni , Maneesh Mathai , Jeevani Goonetillake , et al.
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.135-159, ⟨10.1007/978-3-319-45916-5_9⟩
Conference papers hal-01631310v1
Image document

Requirements Gathering and Domain Understanding for Assistive Technology to Support Low Vision and Sighted Students

 Stephanie Ludi
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.117-132, ⟨10.1007/978-3-319-45916-5_8⟩
Conference papers hal-01631317v1
Image document

User-Oriented Requirements Engineering

 Alistair Sutcliffe
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.11-33, ⟨10.1007/978-3-319-45916-5_2⟩
Conference papers hal-01631313v1
Image document

Differentiating Conscious and Unconscious Eyeblinks for Development of Eyeblink Computer Input System

 Shogo Matsuno , Minoru Ohyama , Kiyohiko Abe , Shoichi Ohi , Naoaki Itakura
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.160-174, ⟨10.1007/978-3-319-45916-5_10⟩
Conference papers hal-01631309v1
Image document

Personas for Requirements Engineering

 Cindy Mayas , Stephan Hörold , Heidi Krömker
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.34-46, ⟨10.1007/978-3-319-45916-5_3⟩
Conference papers hal-01631318v1
Image document

Augmentative Requirements Engineering

 Hrvoje Belani , Željka Car , Marin Vuković
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.97-116, ⟨10.1007/978-3-319-45916-5_7⟩
Conference papers hal-01631312v1
Image document

Web Accessibility for Visually Impaired People: Requirements and Design Issues

 Mexhid Ferati , Bahtijar Vogel , Arianit Kurti , Bujar Raufi , David Salvador Astals
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.79-96, ⟨10.1007/978-3-319-45916-5_6⟩
Conference papers hal-01631308v1
Image document

Bridging the Gap Between Requirements Engineering and Human-Computer Interaction

 Achim Ebert , Shah Rukh Humayoun , Norbert Seyff , Anna Perini , Simone Barbosa
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.3-7, ⟨10.1007/978-3-319-45916-5_1⟩
Conference papers hal-01631311v1
Image document

Experience Focused Requirements Gathering with Children and Young People - Balancing Player, Learner and User (PLU) Requirement Needs

 Diana Yifan Xu , Janet C. Read
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.62-76, ⟨10.1007/978-3-319-45916-5_5⟩
Conference papers hal-01631316v1
Image document

Experiences with User-Centered Design and Agile Requirements Engineering in Fixed-Price Projects

 Edna Kropp , Kolja Koischwitz
1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.47-61, ⟨10.1007/978-3-319-45916-5_4⟩
Conference papers hal-01631315v1
Image document

Distances between Processes: A Pure Algebraic Approach

 David Romero Hernández , David De Frutos Escrig
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.265-282, ⟨10.1007/978-3-642-37635-1_16⟩
Conference papers hal-01485974v1
Image document

Open Multiparty Interaction

 Chiara Bodei , Linda Brodo , Roberto Bruni
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.1-23, ⟨10.1007/978-3-642-37635-1_1⟩
Conference papers hal-01485975v1
Image document

Bounded Model Checking of Recursive Programs with Pointers in K

 Irina Măriuca Asăvoae , Frank De Boer , Marcello M. Bonsangue , Dorel Lucanu , Jurriaan Rot
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.59-76, ⟨10.1007/978-3-642-37635-1_4⟩
Conference papers hal-01485978v1
Image document

Formal Specification of the Kademlia and the Kad Routing Tables in Maude

 Isabel Pita , María-Inés Fernández-Camacho
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.231-247, ⟨10.1007/978-3-642-37635-1_14⟩
Conference papers hal-01485972v1
Image document

Adaptable Transition Systems

 Roberto Bruni , Andrea Corradini , Fabio Gadducci , Alberto Lluch Lafuente , Andrea Vandin
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.95-110, ⟨10.1007/978-3-642-37635-1_6⟩
Conference papers hal-01485980v1
Image document

A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing

 Lucian Bentea , Peter Csaba Ölveczky
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.77-94, ⟨10.1007/978-3-642-37635-1_5⟩
Conference papers hal-01485979v1
Image document

Semantics of the Distributed Ontology Language: Institutes and Institutions

 Till Mossakowski , Oliver Kutz , Christoph Lange
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.212-230, ⟨10.1007/978-3-642-37635-1_13⟩
Conference papers hal-01485971v1
Image document

Barbed Semantics for Open Reactive Systems

 Fabio Gadducci , Giacoma Valentina Monreale
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.161-177, ⟨10.1007/978-3-642-37635-1_10⟩
Conference papers hal-01485968v1
Image document

Behaviour Protection in Modular Rule-Based System Specifications

 Francisco Durán , Fernando Orejas , Steffen Zschaler
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.24-49, ⟨10.1007/978-3-642-37635-1_2⟩
Conference papers hal-01485976v1
Image document

A Generic Program Slicing Technique Based on Language Definitions

 Adrián Riesco , Irina Măriuca Asăvoae , Mihail Asăvoae
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.248-264, ⟨10.1007/978-3-642-37635-1_15⟩
Conference papers hal-01485973v1
Image document

Statistical Model Checking for Composite Actor Systems

 Jonas Eckhardt , Tobias Mühlbauer , José Meseguer , Martin Wirsing
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.143-160, ⟨10.1007/978-3-642-37635-1_9⟩
Conference papers hal-01485983v1
Image document

Compiling Logics

 Mihai Codescu , Fulya Horozal , Aivaras Jakubauskas , Till Mossakowski , Florian Rabe
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.111-126, ⟨10.1007/978-3-642-37635-1_7⟩
Conference papers hal-01485981v1
Image document

Quantitative Modal Transition Systems

 Kim G. Larsen , Axel Legay
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.50-58, ⟨10.1007/978-3-642-37635-1_3⟩
Conference papers hal-01485977v1
Image document

Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl

 Phillip James , Alexander Knapp , Till Mossakowski , Markus Roggenbach
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.178-194, ⟨10.1007/978-3-642-37635-1_11⟩
Conference papers hal-01485969v1
Image document

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics

 Carlos Gustavo López Pombo , Pablo F. Castro , Nazareno M. Aguirre , Thomas E. Maibaum
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.195-211, ⟨10.1007/978-3-642-37635-1_12⟩
Conference papers hal-01485970v1
Image document

Transformation Systems with Incremental Negative Application Conditions

 Andrea Corradini , Reiko Heckel , Frank Hermann , Susann Gottmann , Nico Nachtigall
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.127-142, ⟨10.1007/978-3-642-37635-1_8⟩
Conference papers hal-01485982v1
Image document

OverStar: An Open Approach to End-to-End Middleware Services in Systems of Systems

 Paul Grace , Yérom-David Bromberg , Laurent Réveillère , Gordon Blair
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.229-248, ⟨10.1007/978-3-642-35170-9_12⟩
Conference papers hal-00991376v1
Image document

Towards Conflict Management in User Interface Composition Driven by Business Needs

 Audrey Occello , Anne-Marie Déry-Pinna , Michel Riveill
4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.233-250, ⟨10.1007/978-3-642-34347-6_14⟩
Conference papers hal-01342108v1
Image document

Out of Context Augmented Navfields: Designing Crowd Choreographies

 Guillaume Levieux , Stéphane Natkin , Alexandre Topol
11th International Confernece on Entertainment Computing (ICEC), Sep 2012, Bremen, Germany. pp.326-332, ⟨10.1007/978-3-642-33542-6_28⟩
Conference papers hal-01126206v1
Page :