检索结果 - integrating transformation protocol program constructs https

搜索替代词:
integrating transformation » integrating transportation , interactions transformation , integrating information
transformation protocol » transformation programme
program constructs » program construction , program constructing , programming constructs
protocol program » protocol programming , protocol diagrams , protocol property
constructs https » construction https , constructs loops , constructs arti

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference...

出版 2013

书本目录: “... -- PRISM-games: A Model Checker for Stochastic Multi-Player Games -- PIC2LNT: Model Transformation...”
获取全文

电子电子书

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference...

出版 2014

书本目录: “... Objects -- VeriMAP: A Tool for Verifying Programs through Transformations -- CIF 3: Model-Based...”
获取全文

电子电子书

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

出版 2006

书本目录: “... of ?-Calculus Systems -- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols -- Evaluating...”
获取全文

电子电子书

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

出版 2008

书本目录: “... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”
获取全文

电子电子书

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

出版 2007

书本目录: “... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”
获取全文

电子电子书

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

出版 2005

书本目录: “... in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming...”
获取全文

电子电子书

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

出版 2008

书本目录: “... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”
获取全文

电子电子书

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

出版 2010

书本目录: “... Network Encryption Protocol in the OTS/CafeOBJ Method -- Model-Driven Design-Space Exploration...”
获取全文

电子电子书

Innovations in Computing Sciences and Software Engineering

出版 2010

书本目录: “... Manifesto -- Investigation and Implementation of T-DMB Protocol in NCTUns Simulator -- Empirical Analysis...”
获取全文

电子电子书

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings /

出版 2005

书本目录: “...-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL...”
获取全文

电子电子书

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings /

出版 2005

书本目录: “... Papers -- An Incentive Driven Lookup Protocol for Chord-Based Peer-to-Peer (P2P) Networks -- A Novel...”
获取全文

电子电子书

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

出版 2007

书本目录: “... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”
获取全文

电子电子书

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

出版 2005

书本目录: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
获取全文

电子电子书

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

出版 2007

书本目录: “... on 2D FFT -- DECP: A Distributed Election Clustering Protocol for Heterogeneous Wireless Sensor...”
获取全文

电子电子书

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

出版 2006

书本目录: “... -- Cluster Design in the Earth Sciences Tethys -- A Streaming Implementation of Transform and Quantization...”
获取全文

电子电子书

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

出版 2006

书本目录: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
获取全文

电子电子书

Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I /

出版 2012

书本目录: “...Accelerating the Dynamic Programming for the Optimal Polygon Triangulation on the -- Security...”
获取全文

电子电子书

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

出版 2007

书本目录: “... -- Investigative Data Mining for Counterterrorism -- Data Integration Using Lazy Types -- Data Generalization...”
获取全文

电子电子书

Web Information Systems and Mining International Conference, WISM 2010, Sanya, China, October 23-24, 2010, Proceedings /

出版 2010

书本目录: “... Algorithm on Load Balancing for Web Server Cluster -- Nature of Chinese Thesaurus Automatic Construction...”
获取全文

电子电子书

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

出版 2014

书本目录: “... for Rotational Components Having Form Features -- Comparative Analysis of Energy Efficient Protocols...”
获取全文

电子电子书

缩小搜索