Filter your results
- 537
- 3
- 19
- 538
- 2
- 539
- 1
- 1
- 34
- 506
- 540
- 27
- 9
- 8
- 7
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 5
- 5
- 4
- 4
- 4
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
Labeled VoIP Data-set for Intrusion Detection EvaluationEUNICE 2010, Jun 2010, Trondheim, Norway. pp.97-106
Conference papers
inria-00497735v1
|
||
|
When Clocks Fail: On Critical Paths and Clock Faults9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.182-193, ⟨10.1007/978-3-642-12510-2_13⟩
Conference papers
emse-00505344v1
|
||
|
An Autonomic Testing Framework for IPv6 Configuration Protocols4th International Conference on Autonomous Infrastructure, Management and Security - AIMS 2010, University of Zurich, Jun 2010, Zurich, Switzerland. pp.65-76, ⟨10.1007/978-3-642-13986-4_7⟩
Conference papers
inria-00546171v1
|
||
Analysis of token and ticket based mechanisms for current voIP security issues and enhancement proposalCMC 2010 : 11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security, May 2010, Linz, Austria. pp.154 - 165
Conference papers
hal-00565730v1
|
|||
|
Attacks on Java Card 3.0 Combining Fault and Logical AttacksSmart Card Research and Advanced Application. 9th IFIP WG 8.8/11.2 International Conference. CARDIS 2010, Apr 2010, Passau, Germany. pp.148-163, ⟨10.1007/978-3-642-12510-2_11⟩
Conference papers
hal-00692165v1
|
||
|
Generating Models of Infinite-State Communication Protocols using Regular Inference with AbstractionIFIP International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.188-204, ⟨10.1007/978-3-642-16573-3_14⟩
Conference papers
hal-00767416v1
|
||
|
Disappointments and Delights, Fears and Hopes induced by a few decades in Performance EvaluationPerformance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.1-9, ⟨10.1007/978-3-642-25575-5_1⟩
Conference papers
hal-00789638v1
|
||
|
LiFTinG: Lightweight Freerider-Tracking Protocol in Gossip11th ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. ⟨10.1007/978-3-642-16955-7_16⟩
Conference papers
inria-00505268v1
|
||
|
The MINWii Project : Renarcissization of Patients Suffering from Alzheimer's Disease Through Video Game-Based Music Therapy9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.79-90, ⟨10.1007/978-3-642-15399-0_8⟩
Conference papers
hal-00831340v1
|
||
|
Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay NetworksNetworking 2010 - 9th International IFIP TC 6 Networking Conference, May 2010, Chennai, India. pp.67-82, ⟨10.1007/978-3-642-12963-6_6⟩
Conference papers
hal-00909544v1
|
||
|
Designing a Side Channel Resistant Random Number Generator9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.49-64, ⟨10.1007/978-3-642-12510-2_5⟩
Conference papers
hal-01023028v1
|
||
|
Simulation and Analysis of Distributed Systems in Klaim12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.122-136, ⟨10.1007/978-3-642-13414-2_9⟩
Conference papers
hal-01054619v1
|
||
|
Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.107-121, ⟨10.1007/978-3-642-13414-2_8⟩
Conference papers
hal-01054620v1
|
||
|
Compositional Construction of Real-Time Dataflow Networks12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.92-106, ⟨10.1007/978-3-642-13414-2_7⟩
Conference papers
hal-01054621v1
|
||
|
A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.76-91, ⟨10.1007/978-3-642-13414-2_6⟩
Conference papers
hal-01054622v1
|
||
|
JErlang: Erlang with Joins12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.61-75, ⟨10.1007/978-3-642-13414-2_5⟩
Conference papers
hal-01054623v1
|
||
|
Modelling Railway Interlocking Tables Using Coloured Petri Nets12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.137-151, ⟨10.1007/978-3-642-13414-2_10⟩
Conference papers
hal-01054630v1
|
||
|
Efficient Session Type Guided Distributed Interaction12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.152-167, ⟨10.1007/978-3-642-13414-2_11⟩
Conference papers
hal-01054629v1
|
||
|
Scalable Efficient Composite Event Detection12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.168-182, ⟨10.1007/978-3-642-13414-2_12⟩
Conference papers
hal-01054628v1
|
||
|
Observables for Mobile and Wireless Broadcasting Systems12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.1-15, ⟨10.1007/978-3-642-13414-2_1⟩
Conference papers
hal-01054627v1
|
||
|
A Calculus for Boxes and Traits in a Java-Like Setting12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.46-60, ⟨10.1007/978-3-642-13414-2_4⟩
Conference papers
hal-01054624v1
|
||
|
NOW: A Workflow Language for Orchestration in Nomadic Networks12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.31-45, ⟨10.1007/978-3-642-13414-2_3⟩
Conference papers
hal-01054625v1
|
||
|
Behavioural Contracts with Request-Response Operations12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.16-30, ⟨10.1007/978-3-642-13414-2_2⟩
Conference papers
hal-01054626v1
|
||
|
Political Deliberation in the Blogosphere: The Case of the 2009 Portuguese ElectionsSecond IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.115-125, ⟨10.1007/978-3-642-15158-3_10⟩
Conference papers
hal-01054844v1
|
||
|
On Sustainable eParticipationSecond IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.126-139, ⟨10.1007/978-3-642-15158-3_11⟩
Conference papers
hal-01054843v1
|
||
|
Genres of Participation in Social Networking Systems: A Study of the 2009 Norwegian Parliamentary ElectionSecond IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.104-114, ⟨10.1007/978-3-642-15158-3_9⟩
Conference papers
hal-01054832v1
|
||
|
The AUGMENT Project: Co-constructive Mapping and Support of Accessibility and ParticipationSecond IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.95-103, ⟨10.1007/978-3-642-15158-3_8⟩
Conference papers
hal-01054833v1
|
||
|
e-Participation Experiences and Local Government in Catalonia: An Explanatory AnalysisSecond IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.82-94, ⟨10.1007/978-3-642-15158-3_7⟩
Conference papers
hal-01054834v1
|
||
|
Tracking and Explaining E-Participation in IndiaSecond IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.66-81, ⟨10.1007/978-3-642-15158-3_6⟩
Conference papers
hal-01054835v1
|
||
|
eParticipation Initiatives in Europe: Learning from PractitionersSecond IFIP WG 8.5 International Conference on Electronic Participation (EPART), Aug 2010, Lausanne, Italy. pp.54-65, ⟨10.1007/978-3-642-15158-3_5⟩
Conference papers
hal-01054836v1
|