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

Filter your results

24 results
Page :
sorted by
Image document

Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles

 Edmund Lam , Iliano Cervesato , Nabeeha Fatima
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.51-66, ⟨10.1007/978-3-319-19282-6_4⟩
Conference papers hal-01774944v1
Image document

A Program Logic for Verifying Secure Routing Protocols

 Chen Chen , Limin Jia , Hao Xu , Cheng Luo , Wenchao Zhou , et al.
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.117-132, ⟨10.1007/978-3-662-43613-4_8⟩
Conference papers hal-01398011v1
Image document

Analyzing BGP Instances in Maude

 Anduo Wang , Carolyn Talcott , Limin Jia , Boon Thau Loo , Andre Scedrov
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.334-348, ⟨10.1007/978-3-642-21461-5_22⟩
Conference papers hal-01583330v1
Image document

An Investigation into Facebook Friend Grouping

 Patrick Gage Kelley , Robin Brewer , Yael Mayer , Lorrie Faith Cranor , Norman Sadeh
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.216-233, ⟨10.1007/978-3-642-23765-2_15⟩
Conference papers hal-01591834v1
Image document

Remote Context Monitoring of Actions and Behaviors in a Location Through the Usage of 3D Visualization in Real-Time

 John Conomikes , Zachary Pacheco , Salvador Barrera , Juan Antonio Cantu , Lucy Beatriz Gomez , et al.
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.476-478, ⟨10.1007/978-3-642-15399-0_64⟩
Conference papers hal-01059018v1
Image document

On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems

 Luís Almeida , Ricardo Marau , Karthik Lakshmanan , Raj Rajkumar
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.119-130, ⟨10.1007/978-3-642-16256-5_13⟩
Conference papers hal-01055392v1
Image document

Analysis of the Use of XOR as an Obfuscation Technique in a Real Data Corpus

 Carolina Zarate , Simson Garfinkel , Aubin Heffernan , Scott Horras , Kyle Gorak
10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.117-132, ⟨10.1007/978-3-662-44952-3_9⟩
Conference papers hal-01393766v1
Image document

Epidemic Spread in Mobile Ad Hoc Networks: Determining the Tipping Point

 Nicholas C. Valler , B. Aditya Prakash , Hanghang Tong , Michalis Faloutsos , Christos Faloutsos
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.266-280, ⟨10.1007/978-3-642-20757-0_21⟩
Conference papers hal-01583416v1

Middleware 2012

 Priya Narasimhan , Peter Triantafillou
Springer, LNCS-7662, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-35170-9⟩
Books hal-01555540v1
Image document

Fluxion: An Innovative Fluid Dynamics Game on Multi-touch Handheld Device

 Chun-Ta Chen , Jy-Huey Lin , Wen-Chun Lin , Fei Wang , Bing-Huan Wu
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.437-439, ⟨10.1007/978-3-642-15399-0_53⟩
Conference papers hal-01055609v1
Image document

Improving Computer Security Dialogs

 Cristian Bravo-Lillo , Lorrie Faith Cranor , Julie Downs , Saranga Komanduri , Manya Sleeper
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.18-35, ⟨10.1007/978-3-642-23768-3_2⟩
Conference papers hal-01596947v1
Image document

MindMiner: A Mixed-Initiative Interface for Interactive Distance Metric Learning

 Xiangmin Fan , Youming Liu , Nan Cao , Jason Hong , Jingtao Wang
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.611-628, ⟨10.1007/978-3-319-22668-2_47⟩
Conference papers hal-01599869v1
Image document

Manifestly Phased Communication via Shared Session Types

 Chuta Sano , Stephanie Balzer , Frank Pfenning
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.23-40, ⟨10.1007/978-3-030-78142-2_2⟩
Conference papers hal-03387824v1
Image document

Event-Based Data Collection Engine for Serious Games

 Amith Tudur Raghavendra
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.294-301, ⟨10.1007/978-3-642-15399-0_30⟩
Conference papers hal-01055631v1
Image document

Improving Users’ Consistency When Recalling Location Sharing Preferences

 Jayant Venkatanathan , Denzil Ferreira , Michael Benisch , Jialiu Lin , Evangelos Karapanos , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.380-387, ⟨10.1007/978-3-642-23774-4_31⟩
Conference papers hal-01590540v1

Advances in Software Engineering Techniques

 David Hutchison , Takeo Kanade , Josef Kittler , Jon M. Kleinberg , Friedemann Mattern , et al.
Springer, LNCS-7054, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-28038-2⟩
Books hal-01527391v1
Image document

Project Sonology: An Experimental Project Exploring the Possibilities of Sound and Audio as the Primary Element of Interactive Entertainment

 Shih-Han Chan , Dae Hong Kim , Eugene Massey , Katelyn Mueller , Fadzuli Said
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.431-433, ⟨10.1007/978-3-642-15399-0_51⟩
Conference papers hal-01055611v1
Image document

SOFTScale: Stealing Opportunistically for Transient Scaling

 Anshul Gandhi , Timothy Zhu , Mor Harchol-Balter , Michael A. Kozuch
13th International Middleware Conference (MIDDLEWARE), Dec 2012, Montreal, QC, Canada. pp.142-163, ⟨10.1007/978-3-642-35170-9_8⟩
Conference papers hal-01555559v1
Image document

“Roger that!” — The Value of Adding Social Feedback in Audio-Mediated Communications

 Rahul Rajan , Joey Hsiao , Deven Lahoti , Ted Selker
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.471-488, ⟨10.1007/978-3-642-40498-6_37⟩
Conference papers hal-01510536v1
Image document

Re-envisioning the Museum Experience: Combining New Technology with Social-Networking

 Madhuri Koushik , Eun Jung Lee , Laura Pieroni , Emily Sun , Chun-Wei Yeh
9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.248-253, ⟨10.1007/978-3-642-15399-0_24⟩
Conference papers hal-01055638v1
Image document

Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol

 Rolando Martins , Rajeev Gandhi , Priya Narasimhan , Soila Pertet , António Casimiro , et al.
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.41-61, ⟨10.1007/978-3-642-45065-5_3⟩
Conference papers hal-01480791v1
Image document

Benchmarking Wireless Protocols for Feasibility in Supporting Crowdsourced Mobile Computing

 João Rodrigues , Joaquim Silva , Rolando Martins , Luís Lopes , Utsav Drolia , et al.
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.96-108, ⟨10.1007/978-3-319-39577-7_8⟩
Conference papers hal-01434803v1
Image document

An Effective Initialization for ASM-Based Methods

 Hong-Quan Hua , T. Ngan Le , Bac Le
13th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Nov 2014, Ho Chi Minh City, Vietnam. pp.421-432, ⟨10.1007/978-3-662-45237-0_39⟩
Conference papers hal-01405618v1
Image document

Beyond Rhetoric to Poetics in IT Invention

 Annie Gentes , Ted Selker
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.267-279, ⟨10.1007/978-3-642-40477-1_17⟩
Conference papers hal-01504889v1
Page :