1
Publicado em 2010
Sumário: ...Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering -- The Good...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2007
Sumário: ... -- A Practical Approach to Model Extension -- Model Transformation from OWL-S to BPEL Via SiTra...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2006
Sumário: ... on Europe -- A Quadratic Method for Evaluating the New Hungarian Act on Electronic Communications...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Sumário: ... and Anti-body Informatics -- Problem Background -- MCQP,LDA and DT Analyses.-Kernel-based MCQP and SVM...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2007
Sumário: ... Selection Model for Network Based Intrusion Detection Systems -- E-NIPS: An Event-Based Network Intrusion...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2012
Sumário: ... Graphical Approach to Component-Based and Extensible Model Checking Platforms....
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2008
Sumário: ... Is CCA1-Secure under the DDH Assumption -- Efficient Dynamic Broadcast Encryption and Its Extension...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2006
Sumário: ...Distributed Systems Security: Foundations -- Edge Eavesdropping Games -- Universally Composable...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2015
Sumário: ...Information and communications technology -- (ICT) -- Data -- Social media -- Research -- Computer...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2008
Sumário: ... of Component Controllers -- Analysis of Component Model Extensions to Support the GriCoL Language -- Resource...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2010
Sumário: ... Encryption over the Integers -- Converting Pairing-Based Cryptosystems from Composite-Order Groups to Prime...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2008
Sumário: ... Axiomatizability Results to Extensions of Process Algebras -- Finite Equational Bases for Fragments of CCS...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2008
Sumário: ...Basic Notation and Terminology -- Open Problems on Partial Words -- Alignments and Approximate...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2007
Sumário: ... Communication-Theoretical View on Secret Extraction -- Fuzzy Extractors -- Robust and Reusable Fuzzy Extractors...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2014
Sumário: ...Social Choice Theory as a Foundation for Multiagent Systems -- A Boolean Game Based Modeling...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2008
Sumário: ... of Proving Termination of Term Rewriting by Matrix Interpretations -- Extension of Rescheduling Based...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2010
Sumário: ... -- Relevance and Problem Choice in Design Science -- Artifact Types in Information Systems Design Science – A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2010
Sumário: ... Interchange in the Semantic Web -- f-SPARQL: A Flexible Extension of SPARQL -- Geo Linked Data -- Approximate...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2007
Sumário: ... Templates for Information Systems: Foundations and Perspectives -- Reduction Based Symbolic Value Partition...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2010
Sumário: ... Parallel Btree for High Scalability and Availability -- Query Reuse Based Query Planning for Searches over...
Obter o texto integral
Recurso Eletrônico livro eletrônico