Filter your results
- 537
- 19
- 3
- 535
- 2
- 536
- 1
- 1
- 34
- 503
- 537
- 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
- 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
- 2
|
Event-Based Data Collection Engine for Serious Games9th 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
|
||
|
Security Analysis of Mobile Phones Used as OTP Generators4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.324-331, ⟨10.1007/978-3-642-12368-9_26⟩
Conference papers
hal-01056074v1
|
||
|
A Frame of Reference for Research of Integrated Governance, Risk and Compliance (GRC)11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.106-117, ⟨10.1007/978-3-642-13241-4_11⟩
Conference papers
hal-01056386v1
|
||
|
Routing Protocol for Anycast Communications in a Wireless Sensor Network9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.291-302, ⟨10.1007/978-3-642-12963-6_23⟩
Conference papers
hal-01056305v1
|
||
|
Modelling Dynamic Access Control Policies for Web-Based Collaborative Systems24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.295-302, ⟨10.1007/978-3-642-13739-6_20⟩
Conference papers
hal-01056680v1
|
||
|
Identifying Nearest Neighbor Nodes and Connectivity in Three-Dimensional Wireless Sensor Networks Using Poisson Point FieldIFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.200-209, ⟨10.1007/978-3-642-15672-4_18⟩
Conference papers
hal-01054990v1
|
||
|
EAU: Efficient Address Updating for Seamless Handover in Multi-homed Mobile Environments9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.227-238, ⟨10.1007/978-3-642-12963-6_18⟩
Conference papers
hal-01056310v1
|
||
|
Exposing Tunable Parameters in Multi-threaded Numerical CodeIFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.46-60, ⟨10.1007/978-3-642-15672-4_6⟩
Conference papers
hal-01054957v1
|
||
|
Anonygator: Privacy and Integrity Preserving Data AggregationACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.85-106, ⟨10.1007/978-3-642-16955-7_5⟩
Conference papers
hal-01055270v1
|
||
|
ViSE - A Virtual Smart Environment for Usability EvaluationThird IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.38-45, ⟨10.1007/978-3-642-16488-0_4⟩
Conference papers
hal-01055197v1
|
||
|
dFault: Fault Localization in Large-Scale Peer-to-Peer SystemsACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.252-272, ⟨10.1007/978-3-642-16955-7_13⟩
Conference papers
hal-01055280v1
|
||
|
A Reconfiguration Language for Virtualized Grid Infrastructures10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.42-55, ⟨10.1007/978-3-642-13645-0_4⟩
Conference papers
hal-00474647v2
|
||
|
Theory and Implementation of a Real-Time Extension to the π-CalculusJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.125-139, ⟨10.1007/978-3-642-13464-7_11⟩
Conference papers
hal-01055159v1
|
||
|
Digital Certificate Management for Document Workflows in E-Government Services9th IFIP WG 8.5 International Conference on Electronic Government (EGOV), Aug 2010, Lausanne, Switzerland. pp.363-374, ⟨10.1007/978-3-642-14799-9_31⟩
Conference papers
hal-01056575v1
|
||
|
A History of Digital Forensics6th IFIP WG 11.9 International Conference on Digital Forensics (DF), Jan 2010, Hong Kong, China. pp.3-15, ⟨10.1007/978-3-642-15506-2_1⟩
Conference papers
hal-01060606v1
|
||
|
Real-Time System for Assessing the Information Security of Computer Networks1st Open Research Problems in Network Security (iNetSec), Mar 2010, Sofia, Bulgaria. pp.123-133, ⟨10.1007/978-3-642-19228-9_11⟩
Conference papers
hal-01581341v1
|
||
|
Understanding Formal Description of Pitch-Based InputThird IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.190-197, ⟨10.1007/978-3-642-16488-0_16⟩
Conference papers
hal-01055204v1
|
||
|
Stateless RD Network Services9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.135-147, ⟨10.1007/978-3-642-12963-6_11⟩
Conference papers
hal-01056317v1
|
||
|
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
|
||
|
Energy: A New Criteria for Performances in Large Scale Distributed SystemsPerformance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.38-48, ⟨10.1007/978-3-642-25575-5_4⟩
Conference papers
hal-01586899v1
|
||
|
Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.79-94, ⟨10.1007/978-3-642-16573-3_7⟩
Conference papers
hal-01055242v1
|
||
|
Research on Eclipse Based Media Art Authoring Tool for the Media Artist9th International Conference on Entertainment Computing (ICEC), Sep 2010, Seoul, South Korea. pp.342-349, ⟨10.1007/978-3-642-15399-0_36⟩
Conference papers
hal-01055626v1
|
||
|
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
|
||
|
Evidential Notions of Defensibility and Admissibility with Property Preservation1st Open Research Problems in Network Security (iNetSec), Mar 2010, Sofia, Bulgaria. pp.134-139, ⟨10.1007/978-3-642-19228-9_12⟩
Conference papers
hal-01581333v1
|
||
|
Adversarial Security: Getting to the Root of the Problem1st Open Research Problems in Network Security (iNetSec), Mar 2010, Sofia, Bulgaria. pp.47-55, ⟨10.1007/978-3-642-19228-9_5⟩
Conference papers
hal-01581338v1
|
||
|
On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic ProtocolsJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.201-215, ⟨10.1007/978-3-642-13464-7_16⟩
Conference papers
hal-01055153v1
|
||
|
Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.111-125, ⟨10.1007/978-3-642-16573-3_9⟩
Conference papers
hal-01055240v1
|
||
|
A Secure RFID Ticket System for Public Transport24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.350-357, ⟨10.1007/978-3-642-13739-6_27⟩
Conference papers
hal-01056673v1
|
||
|
JAMILA: A Usable Batch Job Management System to Coordinate Heterogeneous Clusters and Diverse Applications over Grid or Cloud InfrastructureIFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.412-422, ⟨10.1007/978-3-642-15672-4_34⟩
Conference papers
hal-01054968v1
|
||
|
gradienTv: Market-Based P2P Live Media Streaming on the Gradient Overlay10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.212-225, ⟨10.1007/978-3-642-13645-0_16⟩
Conference papers
hal-01061084v1
|