Search Results - processing java https development abstracts https

1

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

Published 2008

Table of Contents: “... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...”
View full text

Electronic eBook

2

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent...

Published 2005

Table of Contents: “... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”
View full text

Electronic eBook

3

A Rigorous Semantics for BPMN 2.0 Process Diagrams

by Kossak, Felix., Kossak, Felix., Illibauer, Christa., Geist, Verena., Kubovy, Jan., Natschläger, Christine., Ziebermayr, Thomas., Kopetzky, Theodorich., Freudenthaler, Bernhard., Schewe, Klaus-Dieter.
Published 2014

Table of Contents: “...1 Introduction -- 2 State of the Art -- 3 Modelling Semantics with Abstract State Machines -- 4 A...”
View full text

Electronic eBook

4

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

Published 2005

Table of Contents: “... Using Wavelet Packet Parallel Architecture -- A Low–Level Communication Library for Java HPC -- Object...”
View full text

Electronic eBook

5

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

Published 2005

Table of Contents: “...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”
View full text

Electronic eBook

6

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings /

Published 2012

Table of Contents: “...Real-Time Specification Patterns and Tools -- Automated Extraction of Abstract Behavioural Models...”
View full text

Electronic eBook

7

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...”
View full text

Electronic eBook

8

Pro React

by de Sousa Antonio, Cassio., de Sousa Antonio, Cassio.
Published 2015

Table of Contents: “...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
View full text

Electronic eBook

9

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /

Published 2012

Table of Contents: “... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”
View full text

Electronic eBook

10

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Creation of Processes in MPI-2 -- Object-Oriented Message Passing -- Non-blocking Java Communications...”
View full text

Electronic eBook

11

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

Published 2014

Table of Contents: “... -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data...”
View full text

Electronic eBook

12

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Published 2005

Table of Contents: “... Control for Multigrain Parallel Processing -- Compiler Analysis and Supports for Leakage Power Reduction...”
View full text

Electronic eBook

13

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Published 2012

Table of Contents: “... for Robotics -- A Reuse-Oriented Development Process for Component-Based Robotic Systems -- UAV Simulation...”
View full text

Electronic eBook

14

Enterprise Interoperability III New Challenges and Industrial Approaches /

Published 2008

Table of Contents: “... Oriented Process Modeling Language -- Enterprise Modeling Based Application Development...”
View full text

Electronic eBook

15

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

Published 2007

Table of Contents: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
View full text

Electronic eBook

16

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “...Abstraction and Verification of Properties of a Real-Time Java.- Abstract Quantum Automata...”
View full text

Electronic eBook

17

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

Published 2005

Table of Contents: “... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”
View full text

Electronic eBook

18

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

Published 2013

Table of Contents: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
View full text

Electronic eBook

19

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Published 2006

Table of Contents: “... Services Interface -- A QoS Driven Development Process Model for Component-Based Software Systems...”
View full text

Electronic eBook

20

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports /

Published 2005

Table of Contents: “..., and Information Systems -- Communication Abstractions for Distributed Systems -- Formal Techniques for Java-Like...”
View full text

Electronic eBook

Narrow Search