Søgeresultater - large integration https function java https

1

Distributed, Embedded and Real-time Java Systems

Udgivet 2012

Indholdsfortegnelse: “... -- RT-OSGi: Integrating the OSGi Framework with the Real-time Specifications for Java -- JavaES, a...”
Få fuldtekst

Electronisk eBog

2

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Få fuldtekst

Electronisk eBog

3

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Få fuldtekst

Electronisk eBog

4

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

5

Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers /

Udgivet 2008

Indholdsfortegnelse: “...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...”
Få fuldtekst

Electronisk eBog

6

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Metrics Suite for Measuring Quality Characteristics of JavaBeans Components -- Software Cost Estimation...”
Få fuldtekst

Electronisk eBog

7

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Udgivet 2010

Fag: “...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...”
Få fuldtekst

Electronisk eBog

8

Machine Learning and Systems Engineering

Udgivet 2010

Indholdsfortegnelse: “... Diagnosis -- Multigrid Finite Volume Method for FGF-2 Transport and Binding -- Integrated Mining Fuzzy...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2005

Indholdsfortegnelse: “... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2005

Indholdsfortegnelse: “... Survivability -- Information Systems Development and Management -- Integration and Maintenance of Heterogeneous...”
Få fuldtekst

Electronisk eBog

11

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...”
Få fuldtekst

Electronisk eBog

12

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
Få fuldtekst

Electronisk eBog

13

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative...”
Få fuldtekst

Electronisk eBog

14

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

Udgivet 2012

Fag: “...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...”
Få fuldtekst

Electronisk eBog

15

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Implementation for Distributed Signal Processing -- A Parallel Exponential Integrator for Large-Scale...”
Få fuldtekst

Electronisk eBog

16

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First...”
Få fuldtekst

Electronisk eBog

17

Personal Wireless Communications The 12th IFIP International Conference on Personal Wireless Communications (PWC 2007), Prague, Czech Republic, September 2007 /

Udgivet 2007

Indholdsfortegnelse: “... -- A QoS Architecture Integrating Ad-Hoc and Infrastructure in Next Generation Networks -- Federating...”
Få fuldtekst

Electronisk eBog

18

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Udgivet 2008

Indholdsfortegnelse: “... Routing Problem -- Self-Organization on Silicon: System Integration of a Fixed-Point Swarm Coprocessor...”
Få fuldtekst

Electronisk eBog

19

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... -- Technical Dependency Challenges in Large-Scale Agile Software Development -- How Can Agile and Documentation...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning