Hakutulokset - parallel component program functionality securing https

Tarkoititko:
functionality securing » functionality setting , functionality using , functionality testing
program functionality » protein functionality , programs functional , supra functionality
parallel component » parallel computing , parallel computers , parallel computer
component program » component problem , component programming , competence program
securing https » security https , security http , securing rtp

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Hae kokoteksti

Elektroninen E-kirja

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Julkaistu 2010

Sisällysluettelo: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Hae kokoteksti

Elektroninen E-kirja

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI...

Julkaistu 2012

Sisällysluettelo: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Hae kokoteksti

Elektroninen E-kirja

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”
Hae kokoteksti

Elektroninen E-kirja

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Hae kokoteksti

Elektroninen E-kirja

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
Hae kokoteksti

Elektroninen E-kirja

Innovations in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...”
Hae kokoteksti

Elektroninen E-kirja

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”
Hae kokoteksti

Elektroninen E-kirja

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Julkaistu 2007

Sisällysluettelo: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Hae kokoteksti

Elektroninen E-kirja

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Julkaistu 2010

Sisällysluettelo: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Hae kokoteksti

Elektroninen E-kirja

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Julkaistu 2007

Sisällysluettelo: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Hae kokoteksti

Elektroninen E-kirja

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Julkaistu 2014

Sisällysluettelo: “...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...”
Hae kokoteksti

Elektroninen E-kirja

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Hae kokoteksti

Elektroninen E-kirja

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Gracefully Degrading Fair Exchange with Security Modules -- Session 1B: Fault Tolerant Design and Protocols...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Applications and Data Structures -- A Component Language for Hybrid Solver Cooperations -- Non-interleaved...”
Hae kokoteksti

Elektroninen E-kirja

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
Hae kokoteksti

Elektroninen E-kirja

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Julkaistu 2007

Sisällysluettelo: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Hae kokoteksti

Elektroninen E-kirja

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I /

Julkaistu 2014

Sisällysluettelo: “... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...”
Hae kokoteksti

Elektroninen E-kirja

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proc...

Julkaistu 2007

Sisällysluettelo: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua