Arama Sonuçları - internet computing program compositional program https

Şunu mu demek istediniz:
program compositional » program composition , program computational , problem compositional
compositional program » composition programs , computational program , compositional problems
internet computing » internet computer , intelligent computing , interactive computing
computing program » comparing programs , computing progress , computer program
program https » programs https , program has , program help

Towards the Internet of Services: The THESEUS Research Program

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”
Tam Metin Erişim

Elektronik Ekitap

Database Programming Languages 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- XML Subtree Queries: Specification and Composition -- On the Expressive Power of XQuery Fragments -- A...”
Tam Metin Erişim

Elektronik Ekitap

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Tam Metin Erişim

Elektronik Ekitap

On the Move to Meaningful Internet Systems, OTM 2010 Confederated International Conferences: CoopIS...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Business Process Context -- Services Computing -- Collaborative Filtering Technique for Web Service...”
Tam Metin Erişim

Elektronik Ekitap

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Rates and Semi-Product-Form via the Reversed Process -- Compositional Analysis -- Predictive Modelling...”
Tam Metin Erişim

Elektronik Ekitap

The Smart Internet Current Research and Future Applications /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- The Smart Internet as a Catalyst for Health Care Reform -- Overview of the Smart Internet -- Smart...”
Tam Metin Erişim

Elektronik Ekitap

Search Computing Trends and Developments /

Baskı/Yayın Bilgisi 2011

İçindekiler: “... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...”
Tam Metin Erişim

Elektronik Ekitap

Search Computing Challenges and Directions /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...”
Tam Metin Erişim

Elektronik Ekitap

Pro .NET 2.0 Graphics Programming

Yazar: White, Eric., White, Eric.
Baskı/Yayın Bilgisi 2006

İçindekiler: “....NET Graphics Programming -- Drawing Surfaces -- Pens and Brushes -- Text and Fonts -- Images...”
Tam Metin Erişim

Elektronik Ekitap

Service Research Challenges and Solutions for the Future Internet S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...The S-Cube Research Vision -- Business Process Management -- Service Composition -- Architectures...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
Tam Metin Erişim

Elektronik Ekitap

Innovative Internet Community Systems 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Innovation Processes Revisited by Internet -- Lightweight Causal Cluster Consistency -- Distributed...”
Tam Metin Erişim

Elektronik Ekitap

Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL /

Yazar: Qin, Jun., Qin, Jun., Fahringer, Thomas.
Baskı/Yayın Bilgisi 2012

İçindekiler: “...Part I Overview -- Introduction -- Prerequisites -- Part II Programming -- Abstract Workflow...”
Tam Metin Erişim

Elektronik Ekitap

Engineering Secure Future Internet Services and Systems Current Research /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Applications -- On the Synthesis of Secure Services Composition -- Privacy and Access Control in Federated...”
Tam Metin Erişim

Elektronik Ekitap

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... of Mobile Cloud Computing Frameworks using Simulation Modeling -- Bandwidth Aware Resource Optimization...”
Tam Metin Erişim

Elektronik Ekitap

Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Are Insufficient in the Presence of Duplication -- Safe Composition of Distributed Programs Communicating over...”
Tam Metin Erişim

Elektronik Ekitap

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security...”
Tam Metin Erişim

Elektronik Ekitap

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Tam Metin Erişim

Elektronik Ekitap

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”
Tam Metin Erişim

Elektronik Ekitap

1
2
3
4
5
6
7
8
9
10
Sonraki »
[10]

Aramayı Daralt