Filter your results
- 19
- 3
- 537
- 19
- 3
- 22
- 22
- 22
- 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
|
|
sorted by
|
|
NETWORKING 2010Springer, LNCS-6091, 2010, Lecture Notes in Computer Science, 978-3-642-12962-9. ⟨10.1007/978-3-642-12963-6⟩
Books
hal-01555313v1
|
||
|
Entertainment Computing - ICEC 2010Springer, Lecture Notes in Computer Science (LNCS-6243), 2010, 978-3-642-15398-3. ⟨10.1007/978-3-642-15399-0⟩
Books
hal-01555475v1
|
||
|
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
|
||
|
Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart DevicesSpringer, LNCS-6033, 2010, Lecture Notes in Computer Science, 978-3-642-12367-2. ⟨10.1007/978-3-642-12368-9⟩
Books
hal-01550529v1
|
||
|
Smart Card Research and Advanced ApplicationsSpringer, LNCS-6035, 2010, Lecture Notes in Computer Science, 978-3-642-12509-6. ⟨10.1007/978-3-642-12510-2⟩
Books
hal-01550563v1
|
||
|
Distributed Applications and Interoperable SystemsSpringer, LNCS-6115, 2010, Lecture Notes in Computer Science, 978-3-642-13644-3. ⟨10.1007/978-3-642-13645-0⟩
Books
hal-01555327v1
|
||
|
Networked Services and Applications - Engineering, Control and ManagementSpringer, LNCS-6164, 2010, Lecture Notes in Computer Science, 978-3-642-13970-3. ⟨10.1007/978-3-642-13971-0⟩
Books
hal-01555392v1
|
||
|
Middleware 2010Springer, LNCS-6452, 2010, Lecture Notes in Computer Science, 978-3-642-16954-0. ⟨10.1007/978-3-642-16955-7⟩
Books
hal-01555803v1
|
||
|
Coordination Models and LanguagesSpringer, LNCS-6116, 2010, Lecture Notes in Computer Science, 978-3-642-13413-5. ⟨10.1007/978-3-642-13414-2⟩
Books
hal-01555333v1
|
||
|
Data and Applications Security and Privacy XXIVSpringer, LNCS-6166, 2010, Lecture Notes in Computer Science, 978-3-642-13738-9. ⟨10.1007/978-3-642-13739-6⟩
Books
hal-01555409v1
|
||
|
Network and Parallel ComputingSpringer, LNCS-6289, 2010, Lecture Notes in Computer Science, 978-3-642-15671-7. ⟨10.1007/978-3-642-15672-4⟩
Books
hal-01555727v1
|
||
|
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
|
||
|
Advances in Digital Forensics VISpringer, IFIP Advances in Information and Communication Technology (AICT-337), 2010, 978-3-642-15505-5. ⟨10.1007/978-3-642-15506-2⟩
Books
hal-01549682v1
|
||
|
Formal Techniques for Distributed SystemsSpringer, LNCS-6117, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. ⟨10.1007/978-3-642-13464-7⟩
Books
hal-01555338v1
|
||
|
Electronic GovernmentSpringer, LNCS-6228, 2010, Lecture Notes in Computer Science, 978-3-642-14798-2. ⟨10.1007/978-3-642-14799-9⟩
Books
hal-01555430v1
|
||
|
Testing Software and SystemsSpringer, LNCS-6435, 2010, Lecture Notes in Computer Science, 978-3-642-16572-6. ⟨10.1007/978-3-642-16573-3⟩
Books
hal-01555791v1
|
||
|
Human-Centred Software EngineeringLNCS-6409, 2010, Lecture Notes in Computer Science, 978-3-642-16487-3. ⟨10.1007/978-3-642-16488-0⟩
Books
hal-01555775v1
|
||
|
Mechanisms for Autonomous Management of Networks and ServicesSpringer, LNCS-6155, 2010, Lecture Notes in Computer Science, 978-3-642-13985-7. ⟨10.1007/978-3-642-13986-4⟩
Books
hal-01555365v1
|
||
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
|
|||
|
Software Technologies for Embedded and Ubiquitous SystemsSpringer, LNCS-6399, 2010, Lecture Notes in Computer Science, 978-3-642-16255-8. ⟨10.1007/978-3-642-16256-5⟩
Books
hal-01555742v1
|
||
|
Electronic ParticipationSpringer, LNCS-6229, 2010, Lecture Notes in Computer Science, 978-3-642-15157-6. ⟨10.1007/978-3-642-15158-3⟩
Books
hal-01555453v1
|
||
|
Communications and Multimedia SecuritySpringer, LNCS-6109, 2010, Lecture Notes in Computer Science, 978-3-642-13240-7. ⟨10.1007/978-3-642-13241-4⟩
Books
hal-01555320v1
|