Search Results - processing java https developing critical https

1

Digital Image Processing An Algorithmic Introduction Using Java /

by Burger, Wilhelm., Burger, Wilhelm., Burge, Mark J.
Published 2008

Subjects: “...Image Processing and Computer Vision. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

2

Beginning Windows 8 Data Development Using C# and JavaScript /

by Kumar, Vinodh., Kumar, Vinodh.
Published 2013

Subjects: “...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
View full text

Electronic eBook

3

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

Published 2012

Table of Contents: “... the FlexRay Startup Phase -- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore...”
View full text

Electronic eBook

4

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “... of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL...”
View full text

Electronic eBook

5

Information Systems Development Reflections, Challenges and New Directions /

Published 2013

Table of Contents: “... Approach to Business Process Automation -- NDT-Driver, a Java Tool to Support QVT Transformations for NDT...”
View full text

Electronic eBook

6

Principles of Digital Image Processing Advanced Methods /

by Burger, Wilhelm., Burger, Wilhelm., Burge, Mark J.
Published 2013

Subjects: “...Image Processing and Computer Vision. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

7

Developments in Spatial Data Handling 11th International Symposium on Spatial Data Handling /

Published 2005

Table of Contents: “... Geostatistical Approach for Modelling Methane Emissions at the Island of Java -- Temporal -- A Visualization...”
View full text

Electronic eBook

8

Technological Developments in Networking, Education and Automation

Published 2010

Table of Contents: “... about Digital Citizenship and Responsibility -- Faculty Driven Assessment of Critical Thinking: National...”
View full text

Electronic eBook

9

Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005 /

Published 2005

Table of Contents: “... on Dependability in the Neonatal Intensive Care Unit -- Applying Java™ Technologies to Mission-Critical and Safety...”
View full text

Electronic eBook

10

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: “... Architecture: Model and Implementation (Supporting Multiple Levels of Criticality) -- Modeling and Analysis...”
View full text

Electronic eBook

11

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

12

Groundwater in the Coastal Zones of Asia-Pacific

Published 2013

Table of Contents: “...-Pacific -- 16. Coastal groundwater and its sup-porting role in the development of Gunungsewu Geopark, Java...”
View full text

Electronic eBook

13

Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings /

Published 2015

Table of Contents: “... and Data Models: A Roadmap for Developing Architecture Variants -- Evaluation of JavaScript Maintainability...”
View full text

Electronic eBook

14

Multiagent Systems and Applications Volume 1:Practice and Experience /

Published 2013

Table of Contents: “...Assessing Agent Applications -- The Jadex Project – Programming Model -- Extensible Java EE-based...”
View full text

Electronic eBook

15

New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE /

by Xiong, Jay., Xiong, Jay.
Published 2011

Table of Contents: “... development process -- Technologies and algorithms innovated for supporting NSE -- NSE support tools and NSE...”
View full text

Electronic eBook

16

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Published 2007

Table of Contents: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
View full text

Electronic eBook

17

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

18

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

Published 2005

Table of Contents: “... Design -- A Data Warehouse Engineering Process -- Aggregation and Analysis of Spatial Data by Means...”
View full text

Electronic eBook

19

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Published 2005

Table of Contents: “... and the Real-Time Specification for JavaTM -- Certification and Verification -- Smart Certification of Mixed...”
View full text

Electronic eBook

20

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conference, ENASE 2008 / 2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10,...

Published 2010

Table of Contents: “... an Executable TTCN-3 Markov Chain Usage Model -- Language-Critical Development of Process-Centric Application...”
View full text

Electronic eBook

Narrow Search