Bilaketaren emaitzak - detecting java https developing composition https

1

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”
Testu osoa

Baliabide elektronikoa eBook

2

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

Argitaratua 2005

Aurkibidea: “... Around Advice Composition -- Guaranteeing Resource Bounds for Component Software -- Analysis of Java...”
Testu osoa

Baliabide elektronikoa eBook

3

Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 2 /

Argitaratua 2015

Aurkibidea: “... Analysis of Training Algorithms of Neural Networks: A Case Study of EEG Signal Classification using Java...”
Testu osoa

Baliabide elektronikoa eBook

4

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Argitaratua 2013

Aurkibidea: “...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...”
Testu osoa

Baliabide elektronikoa eBook

5

Distributed Programming Theory and Practice /

nork Shankar, A. Udaya., Shankar, A. Udaya.
Argitaratua 2013

Aurkibidea: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Testu osoa

Baliabide elektronikoa eBook

6

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

Argitaratua 2010

Aurkibidea: “... with Projectional Language Workbenches -- Concern-Based (de)composition of Model-Driven Software Development...”
Testu osoa

Baliabide elektronikoa eBook

7

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Argitaratua 2010

Aurkibidea: “... Analysis -- Shape Refinement through Explicit Heap Analysis -- Memory Leaks Detection in Java by Bi...”
Testu osoa

Baliabide elektronikoa eBook

8

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

Argitaratua 2012

Aurkibidea: “... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...”
Testu osoa

Baliabide elektronikoa eBook

9

Proceedings of the IFIP TC 11 23rd International Information Security Conference IFIP 20th World Computer Congress, IFIP SEC'08, September 7-10, 2008, Milano, Italy /

Argitaratua 2008

Aurkibidea: “... -- Collaborative architecture for malware detection and analysis -- Realizing Stateful Public Key Encryption...”
Testu osoa

Baliabide elektronikoa eBook

10

Web Engineering 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... and JavaServer Faces -- On Refining XML Artifacts -- Mixup: A Development and Runtime Environment for Integration...”
Testu osoa

Baliabide elektronikoa eBook

11

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Argitaratua 2013

Aurkibidea: “... Collision Detection with Dynamic Obstacles in 3-D Space -- Website Analysis of Top 100 Most Valuable...”
Testu osoa

Baliabide elektronikoa eBook

12

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... -- ZebraX: A Model for Service Composition with Multiple QoS Constraints -- Middleware Support for Java...”
Testu osoa

Baliabide elektronikoa eBook

13

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I /

Argitaratua 2010

Aurkibidea: “... Graph Partitioning Algorithms for Collaborative Grid Workflow Developer Environments -- Profile-Driven...”
Testu osoa

Baliabide elektronikoa eBook

14

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

Argitaratua 2005

Aurkibidea: “... Paths Between XML Documents Using Sequential Patterns -- Web Information Systems Development -- Using...”
Testu osoa

Baliabide elektronikoa eBook

15

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceeding...

Argitaratua 2005

Aurkibidea: “... Scale Systems -- Setup Algorithm of Web Service Composition -- Self Healing and Self Configuration in a...”
Testu osoa

Baliabide elektronikoa eBook

16

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Argitaratua 2005

Aurkibidea: “... Grid Developments in the OpenMolGRID Project -- ATLAS Data Challenge 2: A Massive Monte Carlo...”
Testu osoa

Baliabide elektronikoa eBook

17

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Argitaratua 2008

Aurkibidea: “... for the Automatic Composition of Semantic Services -- Engineering Service Oriented Applications: From StPowla...”
Testu osoa

Baliabide elektronikoa eBook

18

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

Argitaratua 2007

Aurkibidea: “... Clustering Coefficients of Small-World Networks -- Detecting Invisible Relevant Persons in a Homogeneous...”
Testu osoa

Baliabide elektronikoa eBook

19

The Semantic Web: ESWC 2012 Satellite Events ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers /

Argitaratua 2015

Aurkibidea: “... for Execution of Transactional Composite WS -- Poster Session -- A LarKC Approach to Development of Service...”
Testu osoa

Baliabide elektronikoa eBook

20

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Argitaratua 2006

Aurkibidea: “... -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu