1
Veröffentlicht 2007
Inhaltsangabe: ... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2013
Inhaltsangabe: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... into Isabelle -- Experimental Evaluation of Classical Automata Constructions -- Automatic Validation...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2008
Inhaltsangabe: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2006
Inhaltsangabe: ... of ?-Calculus Systems -- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols -- Evaluating...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2014
Inhaltsangabe: ...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2005
Inhaltsangabe: ...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2005
Inhaltsangabe: ...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2008
Inhaltsangabe: ... Multidisciplinary Software Composition for Interactive Applications -- Compositional Modeling for Data-Centric...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2014
Inhaltsangabe: ... during the Interaction with TV Programs -- Evaluation of Industrial Touch Interfaces Using a Modular...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2008
Inhaltsangabe: ... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2010
Inhaltsangabe: ...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2006
Inhaltsangabe: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Volltext
Elektronisch E-Book
14
von Troelsen, Andrew., Troelsen, Andrew.
Veröffentlicht 2007
Inhaltsangabe: ...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2005
Inhaltsangabe: ... -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2008
Inhaltsangabe: ... Differential Evolution -- Comparison between Genetic Algorithm and Genetic Programming Performance...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2005
Inhaltsangabe: ...On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2007
Inhaltsangabe: ... Hybrid Register File Architecture -- Model Based Performance Evaluation for MPI Programs -- Runtime...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2010
Inhaltsangabe: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2008
Inhaltsangabe: ... Networks -- Construction of Minimum Connected Dominating Set in 3-Dimensional Wireless Network...
Volltext
Elektronisch E-Book