檢索結果 - integration detection presenting program java https

1

Declarative Programming for Knowledge Management 16th International Conference on Applications...

出版 2006

書本目錄: “...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”
獲取全文

電子電子書

2

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

出版 2012

書本目錄: “... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...”
獲取全文

電子電子書

3

Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /

出版 2012

書本目錄: “...Modular Verification of Object-Based Programs -- The COST IC0701 Verification Competition 2011...”
獲取全文

電子電子書

4

Reliable Software Technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /

出版 2008

書本目錄: “... Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets -- Concurrent Program Metrics Drawn...”
獲取全文

電子電子書

5

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

出版 2013

書本目錄: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
獲取全文

電子電子書

6

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II /

出版 2010

書本目錄: “... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”
獲取全文

電子電子書

7

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

出版 2008

書本目錄: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
獲取全文

電子電子書

8

Reliable Software Technologies -- Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings /

出版 2006

書本目錄: “... of Java Programs for Scenario-Based Specifications -- Applications -- Secure Execution of Computations...”
獲取全文

電子電子書

9

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

出版 2008

書本目錄: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
獲取全文

電子電子書

10

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

出版 2010

書本目錄: “... Algorithms: From Java to C -- Integrate Online Model Checking into Distributed Reconfigurable System on Chip...”
獲取全文

電子電子書

11

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

出版 2014

書本目錄: “... Specifications -- Formalizing Execution Semantics of UML Profiles with fUML Models -- MDE: Past, Present...”
獲取全文

電子電子書

12

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of...

出版 2005

書本目錄: “...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...”
獲取全文

電子電子書

13

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

出版 2008

書本目錄: “...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”
獲取全文

電子電子書

14

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

書本目錄: “... Quality Perception -- An Offline Fuzzy Based Approach for Iris Recognition with Enhanced Feature Detection...”
獲取全文

電子電子書

15

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

出版 2005

書本目錄: “... Streaming Delivery over P2P Networks -- On the Role of Information Compaction to Intrusion Detection -- A...”
獲取全文

電子電子書

16

Advances in Web Based Learning - ICWL 2008 7th International Conference, Jinhua, China, August 20-22, 2008, Proceedings /

出版 2008

書本目錄: “... -- Frameworks and Platforms for e-Learning -- A Virtual Laboratory Platform Based on Integration of Java...”
獲取全文

電子電子書

17

Trusted Systems First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Proceedings /

出版 2010

書本目錄: “... Protection -- Anonymous Credentials for Java Enabled Platforms: A Performance Evaluation -- Trusted Network...”
獲取全文

電子電子書

18

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

出版 2010

書本目錄: “...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...”
獲取全文

電子電子書

19

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21-23, 2004, Beijing, China /

出版 2005

書本目錄: “... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”
獲取全文

電子電子書

20

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

出版 2005

書本目錄: “...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”
獲取全文

電子電子書

縮小搜索