Search Results - processing java https development cooperation https

1

Technological Developments in Networking, Education and Automation

Published 2010

Table of Contents: “... Application -- TEAC2H-RI: Educational Robotic Platform for Improving Teaching-Learning Processes of Technology...”
View full text

Electronic eBook

2

Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshop

Published 2011

Table of Contents: “...Looking at the Interaction Management with New Eyes - Conversational Synchrony and Cooperation...”
View full text

Electronic eBook

3

Mobile Phone Programming and its Application to Wireless Networking /

Published 2007

Table of Contents: “... -- Java 2 Micro Edition -- Symbian/C++ -- Open C -- Qtopia Greenphone -- Maemo Linux -- Windows Mobile...”
View full text

Electronic eBook

4

New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design IFIP International Working Conference: EduTech 2005, Perth, Australia, October 20-21, 2005 /

Published 2005

Table of Contents: “... Environment -- Using Docbook to Aid in The Creation of Learning Content -- A Java Framework to Teach Computer...”
View full text

Electronic eBook

5

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland

Published 2014

Table of Contents: “...: model, detection, deblurring -- Software support for Common Criteria security development process...”
View full text

Electronic eBook

6

Cleavage, Connection and Conflict in Rural, Urban and Contemporary Asia

Published 2013

Table of Contents: “... -- CHAPTER 7: Urbanization without development: The cases of Cirebon and Gresik on Java’s North Coast...”
View full text

Electronic eBook

7

Advances in Multimedia and Network Information System Technologies

Published 2010

Table of Contents: “... AVI -- - Data Processing in Information Systems -- Acoustic Radar Employing Particle Velocity Sensors...”
View full text

Electronic eBook

8

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

9

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

Published 2005

Table of Contents: “... on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity -- Philosophy, Ontology...”
View full text

Electronic eBook

10

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

11

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

12

Fuzzy Cognitive Maps for Applied Sciences and Engineering From Fundamentals to Extensions and Learning Algorithms /

Published 2014

Table of Contents: “... Maps -- Cooperative Autonomous Agents Based On Dynamical Fuzzy Cognitive Maps -- FCM-GUI: A graphical...”
View full text

Electronic eBook

13

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

14

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
View full text

Electronic eBook

15

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

Published 2013

Table of Contents: “... of UML-B and Object-Z in Software Development Process -- Algorithm for Dynamic Traffic Rerouting...”
View full text

Electronic eBook

16

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

Published 2005

Table of Contents: “... Grid Developments in the OpenMolGRID Project -- ATLAS Data Challenge 2: A Massive Monte Carlo...”
View full text

Electronic eBook

17

Introduction to Reliable Distributed Programming

by Guerraoui, Rachid., Guerraoui, Rachid., Rodrigues, Luís.
Published 2006

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

18

Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

Published 2010

Table of Contents: “... of Generic Process Shape Types -- A Java Inspired Semantics for Transactions in SOC -- Responsive Choice...”
View full text

Electronic eBook

19

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
View full text

Electronic eBook

20

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

Narrow Search