Filter your results
- 745
- 24
- 15
- 744
- 1
- 744
- 185
- 1
- 1
- 20
- 725
- 745
- 16
- 10
- 7
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
The PEW Framework for Worth MappingINTERACT 2013, 14th IFIP TC 13 International Conference, 2013, Cape Town, South Africa. pp.667-674
Conference papers
hal-00953353v1
|
||
|
FastCast: A Throughput- and Latency-Efficient Total Order Broadcast Protocol14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.1-20, ⟨10.1007/978-3-642-45065-5_1⟩
Conference papers
hal-01480785v1
|
||
|
Formal Verification of Distributed Branching Multiway Synchronization Protocols15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
Conference papers
hal-00818788v1
|
||
|
Managing Personal Information across Multiple Devices: Challenges and Opportunities14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.185-192, ⟨10.1007/978-3-642-40483-2_13⟩
Conference papers
hal-01497435v1
|
||
|
Threshold Method of Detecting Long-Time TPM Synchronization12th International Conference on Information Systems and Industrial Management (CISIM), Sep 2013, Krakow, Poland. pp.241-252, ⟨10.1007/978-3-642-40925-7_23⟩
Conference papers
hal-01496071v1
|
||
|
Roadside Infrastructure Placement for Information Dissemination in Urban ITS Based on a Probabilistic Model10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.322-331, ⟨10.1007/978-3-642-40820-5_27⟩
Conference papers
hal-01513754v1
|
||
|
Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.150-167, ⟨10.1007/978-3-642-40213-5_10⟩
Conference papers
hal-01514666v1
|
||
|
Delta Modeling and Model Checking of Product Families5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.51-65, ⟨10.1007/978-3-642-40213-5_4⟩
Conference papers
hal-01514656v1
|
||
|
A Generic Multi-layer Network Optimization Model with Demand Uncertainty19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.13-24, ⟨10.1007/978-3-642-40552-5_2⟩
Conference papers
hal-01497029v1
|
||
|
An Effective Approach for Vocal Melody Extraction from Polyphonic Music on GPU10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.284-297, ⟨10.1007/978-3-642-40820-5_24⟩
Conference papers
hal-01513779v1
|
||
|
Human-Spreadsheet Interaction14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.571-578, ⟨10.1007/978-3-642-40498-6_47⟩
Conference papers
hal-01510523v1
|
||
|
Push-Down Automata with Gap-Order Constraints5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.199-216, ⟨10.1007/978-3-642-40213-5_13⟩
Conference papers
hal-01514667v1
|
||
|
Notes on the Topological Consequences of BGP Policy Routing on the Internet AS Topology19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.274-281, ⟨10.1007/978-3-642-40552-5_25⟩
Conference papers
hal-01497022v1
|
||
|
The Mysterious Whiteboard14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.37-54, ⟨10.1007/978-3-642-40480-1_3⟩
Conference papers
hal-01501773v1
|
||
|
Mapping of Self-organization Properties and Non-functional Requirements in Smart Grids7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.163-168, ⟨10.1007/978-3-642-54140-7_16⟩
Conference papers
hal-01291514v1
|
||
|
An Extended Multi-secret Images Sharing Scheme Based on Boolean Operation1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.513-518, ⟨10.1007/978-3-642-36818-9_59⟩
Conference papers
hal-01480211v1
|
||
|
On Efficient Processing of Complicated Cloaked Region for Location Privacy Aware Nearest-Neighbor Queries1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.101-110, ⟨10.1007/978-3-642-36818-9_11⟩
Conference papers
hal-01480224v1
|
||
|
Ditto – Deterministic Execution Replayability-as-a-Service for Java VM on Multiprocessors14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.405-424, ⟨10.1007/978-3-642-45065-5_21⟩
Conference papers
hal-01480786v1
|
||
|
An Adaptive Low-Overhead Mechanism for Dependable General-Purpose Many-Core Processors1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.337-342, ⟨10.1007/978-3-642-36818-9_37⟩
Conference papers
hal-01480191v1
|
||
|
Strategies for Generating and Evaluating Large-Scale Powerlaw-Distributed P2P Overlays13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.71-84, ⟨10.1007/978-3-642-38541-4_6⟩
Conference papers
hal-01489466v1
|
||
|
Reducing the Time Required for Hashing Operations9th International Conference on Digital Forensics (DF), Jan 2013, Orlando, FL, United States. pp.101-117, ⟨10.1007/978-3-642-41148-9_7⟩
Conference papers
hal-01460624v1
|
||
|
The ReflecTable: Bridging the Gap between Theory and Practice in Design Education14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.624-641, ⟨10.1007/978-3-642-40480-1_44⟩
Conference papers
hal-01501778v1
|
||
|
Existing but Not Explicit - The User Perspective in Scrum Projects in Practice14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.762-779, ⟨10.1007/978-3-642-40477-1_52⟩
Conference papers
hal-01504928v1
|
||
|
Marking Menus for Eyes-Free Interaction Using Smart Phones and Tablets1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.481-494
Conference papers
hal-01506764v1
|
||
|
Cross-Tier Application and Data Partitioning of Web Applications for Hybrid Cloud Deployment14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.226-246, ⟨10.1007/978-3-642-45065-5_12⟩
Conference papers
hal-01480778v1
|
||
|
One Half or 50%? An Eye-Tracking Study of Number Representation Readability14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.229-245, ⟨10.1007/978-3-642-40498-6_17⟩
Conference papers
hal-01510564v1
|
||
|
Older Users’ Wish List for Technology Attributes1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.16-27
Conference papers
hal-01506769v1
|
||
|
Technology Enhanced PBL in HCI Education: A Case Study14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.643-650, ⟨10.1007/978-3-642-40498-6_56⟩
Conference papers
hal-01510533v1
|
||
|
Balanced XOR-ed Coding19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.161-172, ⟨10.1007/978-3-642-40552-5_15⟩
Conference papers
hal-01497013v1
|
||
|
Modeling and Quantifying the Survivability of Telecommunication Network Systems under Fault Propagation19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.25-36, ⟨10.1007/978-3-642-40552-5_3⟩
Conference papers
hal-01497034v1
|