Rezultati - parallel component program functionality security https

Poišči alternative:
functionality security » functionality securing , functional security , functionality usability
program functionality » protein functionality , programs functional , supra functionality
parallel component » parallel computing , parallel computers , parallel computer
component program » component problem , component programming , competence program
https » http

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

Izdano 2008

Kazalo: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2012

Kazalo: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Polni tekst

Elektronski eKnjiga

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 /

Izdano 2014

Kazalo: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
Polni tekst

Elektronski eKnjiga

Innovations in Computing Sciences and Software Engineering

Izdano 2010

Kazalo: “... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2014

Kazalo: “...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... -- Gracefully Degrading Fair Exchange with Security Modules -- Session 1B: Fault Tolerant Design and Protocols...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... Applications and Data Structures -- A Component Language for Hybrid Solver Cooperations -- Non-interleaved...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
Polni tekst

Elektronski eKnjiga

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...

Izdano 2007

Kazalo: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2014

Kazalo: “... and Operational States of Wind Turbines -- The Parallel Approach to the Conjugate Gradient Learning Algorithm...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje