Søgeresultater - processing compositional problems processes java https

Søg alternativer:
processing compositional » processing composition , processing computational , process compositional
compositional problems » computational problems , composition problem , compositional process
problems processes » problems process , programs processes , problem process
processes java » processes japan , processes jane , processes jan
https » http

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

Udgivet 2010

Indholdsfortegnelse: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Scale Systems -- Setup Algorithm of Web Service Composition -- Self Healing and Self Configuration in a...”
Få fuldtekst

Electronisk eBog

Handbook on Architectures of Information Systems

Udgivet 2006

Indholdsfortegnelse: “... -- Petri Nets -- State Transition Diagrams -- The Process Interchange Format -- Process Language GPN...”
Få fuldtekst

Electronisk eBog

Information Systems Development Reflections, Challenges and New Directions /

Udgivet 2013

Indholdsfortegnelse: “... Approach to Business Process Automation -- NDT-Driver, a Java Tool to Support QVT Transformations for NDT...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Composition Problem and a Solution Based on C++ Template Metaprogramming....”
Få fuldtekst

Electronisk eBog

Enterprise Interoperability III New Challenges and Industrial Approaches /

Udgivet 2008

Indholdsfortegnelse: “... for Interoperability Problem Solving -- IS Outsourcing Decisions: Can Value Modelling Be of Help? -- Process...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “...Computational Physics on Graphics Processing Units -- Preparing Scientific Application Software...”
Få fuldtekst

Electronisk eBog

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...

Udgivet 2007

Indholdsfortegnelse: “...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Få fuldtekst

Electronisk eBog

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...

Udgivet 2005

Indholdsfortegnelse: “... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”
Få fuldtekst

Electronisk eBog

Workflows for e-Science Scientific Workflows for Grids /

Udgivet 2007

Indholdsfortegnelse: “... -- Protocol-Based Integration Using SSDL and ?-Calculus -- Workflow Composition: Semantic Representations...”
Få fuldtekst

Electronisk eBog

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...

Udgivet 2008

Indholdsfortegnelse: “... in Anonymous Rings: Franklin Goes Probabilistic -- Inverse Problems Have Inverse Complexity -- Literal Shuffle...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... Multi-channel Communication Framework.- Satisfiability and Validity Problems in Many-Sorted Composition...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “...Symbolically Bounding the Drift in Time-Constrained MSC Graphs -- A Compositional Hierarchical...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... Analysis of Training Algorithms of Neural Networks: A Case Study of EEG Signal Classification using Java...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning