Rezultaty - interface method processing programs security https

Inne możliwości wyszukiwania:
processing programs » processing programmed , processing problems , processing products
method processing » metal processing , method process , methods preprocessing
programs security » program security , problems security , programs equity
interface method » interface methods , interphase method , interval method
https » http

New Technologies, Mobility and Security

Wydane 2007

Spis treści: “... -- Secure and Fast Roaming in 802.11 WLANS -- Wormhole Detection Method based on Location in Wireless Ad-Hoc...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Wydane 2005

Spis treści: “... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Information and Computer Security 5th International Worshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, Proceedings /

Wydane 2010

Spis treści: “... Generic Binary Analysis Method for Malware -- A-HIP: A Solution Offering Secure and Anonymous...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010, Proceedings /

Wydane 2010

Spis treści: “... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /

Wydane 2006

Spis treści: “... Key Generation for Multi-layer Ad-Hoc Networks -- Enabling Secure Discovery in a Pervasive Environment...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Usability and Internationalization. Global and Local User Interfaces Second International...

Wydane 2007

Spis treści: “... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Wydane 2005

Spis treści: “... Engineering of Emergency and Process Shutdown Systems -- Combining Extended UML Models and Formal Methods...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods...

Wydane 2005

Spis treści: “... for Process Mediation -- How Symbolic Animation Can Help Designing an Efficient Formal Model -- Security -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Wydane 2006

Spis treści: “... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Wydane 2014

Spis treści: “... Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Software Process Change International Software Process Workshop and International Workshop...

Wydane 2006

Spis treści: “... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Human Aspects of Information Security, Privacy, and Trust Second International Conference, HAS 2014...

Wydane 2014

Spis treści: “... -- Discrete Hardware Apparatus and Method for Mobile Application and Communication Security -- Authentication...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Wydane 2005

Spis treści: “... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /

Wydane 2006

Spis treści: “...Invited Speakers -- Security Issues in Service Composition -- Separating Distribution from...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium...

Wydane 2012

Spis treści: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Wydane 2010

Spis treści: “... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Multimedia Information Processing -- PCM 2010, Part I 11th Pacific Rim Conference...

Wydane 2010

Spis treści: “... Constrained SIFT Matching -- A Method for Music Structure Analysis Using MPEG-4 TwinVQ Audio Compression -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Passive Eye Monitoring Algorithms, Applications and Experiments /

Wydane 2008

Spis treści: “... Processes in Computer Program Comprehension -- Eye Monitoring Studies on TV News and the Web Converge: A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings /

Wydane 2007

Spis treści: “... -- Processes and Methods -- A Component-Based Process for Developing Automotive ECU Software -- A Systematic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Dynamically Reconfigurable Systems Architectures, Design Methods and Applications /

Wydane 2010

Spis treści: “... Methods and Tools - Modeling, Evaluation and Compilation -- Models and Algorithms for Hyperreconfigurable...”
Dokumenty pełnotekstowe

Elektroniczne E-book

1
2
3
4
5
Następna »
[5]

Redukuj rezultaty