Search Results - processing compositional problems processing java https

Search alternatives:
processing compositional » processing composition , processing computational , process compositional
compositional problems » computational problems , composition problem , compositional process
problems processing » probes processing , problems proceedings , problems process
processing java » processing japan , processing james , processing j
https » http

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Published 2010

Table of Contents: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
View full text

Electronic eBook

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”
View full text

Electronic eBook

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: “... Scale Systems -- Setup Algorithm of Web Service Composition -- Self Healing and Self Configuration in a...”
View full text

Electronic eBook

Handbook on Architectures of Information Systems

Published 2006

Table of Contents: “... -- Petri Nets -- State Transition Diagrams -- The Process Interchange Format -- Process Language GPN...”
View full text

Electronic eBook

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

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: “... Composition Problem and a Solution Based on C++ Template Metaprogramming....”
View full text

Electronic eBook

Enterprise Interoperability III New Challenges and Industrial Approaches /

Published 2008

Table of Contents: “... for Interoperability Problem Solving -- IS Outsourcing Decisions: Can Value Modelling Be of Help? -- Process...”
View full text

Electronic eBook

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland /

Published 2013

Table of Contents: “...Computational Physics on Graphics Processing Units -- Preparing Scientific Application Software...”
View full text

Electronic eBook

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Published 2010

Table of Contents: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2005

Table of Contents: “... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Published 2007

Table of Contents: “...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”
View full text

Electronic eBook

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

Computer Security - ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /

Published 2010

Table of Contents: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”
View full text

Electronic eBook

Workflows for e-Science Scientific Workflows for Grids /

Published 2007

Table of Contents: “... -- Protocol-Based Integration Using SSDL and ?-Calculus -- Workflow Composition: Semantic Representations...”
View full text

Electronic eBook

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milan...

Published 2008

Table of Contents: “... in Anonymous Rings: Franklin Goes Probabilistic -- Inverse Problems Have Inverse Complexity -- Literal Shuffle...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”
View full text

Electronic eBook

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: “... Multi-channel Communication Framework.- Satisfiability and Validity Problems in Many-Sorted Composition...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “...Symbolically Bounding the Drift in Time-Constrained MSC Graphs -- A Compositional Hierarchical...”
View full text

Electronic eBook

Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 2 /

Published 2015

Table of Contents: “... Analysis of Training Algorithms of Neural Networks: A Case Study of EEG Signal Classification using Java...”
View full text

Electronic eBook

Narrow Search