Search Results - processing java https development generation https

1

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /

Published 2006

Table of Contents: “... and Transformations in Calculation Form -- Mappings Make Data Processing Go ’Round -- On the Use of Graph...”
View full text

Electronic eBook

2

Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kebbutz Sehfayim, Israel, July 4-6, 2006, Proceedings /

Published 2006

Table of Contents: “... Ubiquitous Computing Environment -- Short Papers -- Creating Consistent Diagnoses List for Developmental...”
View full text

Electronic eBook

3

Beginning Apache Cassandra Development

by Mishra, Vivek., Mishra, Vivek.
Published 2014

Subjects: “...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

4

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

5

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings /

Published 2006

Table of Contents: “... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”
View full text

Electronic eBook

6

Adobe ColdFusion Anthology The Best of The Fusion Authority /

by Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Published 2010

Table of Contents: “... Support in ColdFusion -- Image Processing in ColdFusion -- Essentials to Server Productivity -- Tuning...”
View full text

Electronic eBook

7

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

Published 2005

Table of Contents: “... -- Automatic Model Generation in Model Management -- Signal and Image Processing -- Contourlet Based...”
View full text

Electronic eBook

8

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

9

Advances in Web Based Learning -- ICWL 2006 5th International Conference, Penang, Malaysia, July 19-21, 2006, Revised Papers /

Published 2006

Table of Contents: “... -- Courseware Recommendation in E-Learning System -- A Model for Personalized Course Material Generation Based...”
View full text

Electronic eBook

10

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

11

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings /

Published 2014

Table of Contents: “... Paper) -- Part: Automation-Supported Testing -- Automated Test Generation for Java Generics (Short Paper...”
View full text

Electronic eBook

12

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

13

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

Published 2008

Table of Contents: “... Systems -- Modeling Units of Assessment for Sharing Assessment Process Information: Towards an Assessment...”
View full text

Electronic eBook

14

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Virtual Environment -- System Development by Process Integrated Knowledge Management -- An Application...”
View full text

Electronic eBook

15

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Abstract Interpretation Plugins for Type Systems -- Separation Logic Contracts for a Java-Like Language...”
View full text

Electronic eBook

16

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: “... for Large Systems -- Improving Post-silicon Validation Efficiency by Using Pre-generated Data -- Development...”
View full text

Electronic eBook

17

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

18

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceeding...

Published 2005

Table of Contents: “... Platforms -- Implementing Control Algorithms Within a Multithreaded Java Microcontroller -- Adaptivity...”
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

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

Narrow Search