Search Results - interference methods programming programming computing https

Search alternatives:
programming programming » programming programmed , programming program
programming computing » programming comparing , programming composing , programming computer
interference methods » inference methods , intelligence methods , preference methods
methods programming » methods programmed , networks programming , meta programming
https » http

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Unifying Theories of Objects -- Non-interference Properties for Data-Type Reduction of Communicating...”
View full text

Electronic eBook

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings /

Published 2013

Table of Contents: “... in Biochemically Reacting Systems -- An Approximate Execution of Rule-Based Multi-level Models -- Computing...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium...

Published 2012

Table of Contents: “...-threaded Applications.- Bounded-Interference Sequentialization for Testing Concurrent Programs.- Runtime...”
View full text

Electronic eBook

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings /

Published 2014

Table of Contents: “... and CPUs -- Multicore Parallelization of the PTAS Dynamic Program for the Bin-Packing Problem -- Energy...”
View full text

Electronic eBook

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...”
View full text

Electronic eBook

Advances in Computer Science and Information Technology AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings /

Published 2010

Table of Contents: “... Computing and Multimedia Applications -- An Effective Video Steganography Method for Biometric...”
View full text

Electronic eBook

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Published 2005

Table of Contents: “... into Existential Types -- On the Degeneracy of ?-Types in Presence of Computational Classical Logic -- Semantic Cut...”
View full text

Electronic eBook

Electronic Engineering and Computing Technology

Published 2010

Table of Contents: “... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”
View full text

Electronic eBook

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings /

Published 2014

Table of Contents: “... of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition...”
View full text

Electronic eBook

Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 /

Published 2006

Table of Contents: “... -- An Improved Global Trust Value Computing Method in P2P System -- Trusted Priority Control Design...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Telematics Services -- An Efficient ICI Cancellation Method for Cooperative STBC-OFDM Systems -- Low-Cost Two...”
View full text

Electronic eBook

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”
View full text

Electronic eBook

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Published 2010

Table of Contents: “... Choreographies -- Resolving Business Process Interference via Dynamic Reconfiguration -- Linked Data and Service...”
View full text

Electronic eBook

Computer and Information Sciences II 26th International Symposium on Computer and Information Sciences /

Published 2012

Table of Contents: “...Search Computing: Addressing Complex Search on the Web -- Hypergraph-Theoretic Partitioning Models...”
View full text

Electronic eBook

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings /

Published 2006

Table of Contents: “... Interference -- Smart Instant Messenger in Pervasive Computing Environments -- Session 2: Grid Scheduling...”
View full text

Electronic eBook

Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings /

Published 2010

Table of Contents: “... Sampling Component of the Dendritic Cell Algorithm -- FDCM: A Fuzzy Dendritic Cell Method -- Modular RADAR...”
View full text

Electronic eBook

Pervasive Computing and the Networked World Joint International Conference, ICPCA-SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “... -- An Improved DNA Computing Method for Elevator Scheduling Problem -- Campus Network Operation and Maintenance...”
View full text

Electronic eBook

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”
View full text

Electronic eBook

Frontier and Innovation in Future Computing and Communications

Published 2014

Table of Contents: “...- The Digital Video Frame Obfuscation Method in Consideration of Human Visual System for Intellectual Property...”
View full text

Electronic eBook

Computer Networks & Communications (NetCom) Proceedings of the Fourth International Conference on Networks & Communications /

Published 2013

Table of Contents: “... Method -- Comparison of SPIHT, Classical and Adaptive Lifting Scheme for Compression of Satellite...”
View full text

Electronic eBook

Narrow Search