Søgeresultater - interference methods programming program computing https

Søg alternativer:
interference methods » inference methods , intelligence methods , preference methods
methods programming » methods programmed , networks programming , meta programming
programming program » programming programmed , programming problem , programming problems
program computing » program comparing , programs compiling , problem computing
https » http

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

Udgivet 2007

Indholdsfortegnelse: “... -- Unifying Theories of Objects -- Non-interference Properties for Data-Type Reduction of Communicating...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... in Biochemically Reacting Systems -- An Approximate Execution of Rule-Based Multi-level Models -- Computing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “...-threaded Applications.- Bounded-Interference Sequentialization for Testing Concurrent Programs.- Runtime...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... and CPUs -- Multicore Parallelization of the PTAS Dynamic Program for the Bin-Packing Problem -- Energy...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Computing and Multimedia Applications -- An Effective Video Steganography Method for Biometric...”
Få fuldtekst

Electronisk eBog

Electronic Engineering and Computing Technology

Udgivet 2010

Indholdsfortegnelse: “... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... into Existential Types -- On the Degeneracy of ?-Types in Presence of Computational Classical Logic -- Semantic Cut...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- An Improved Global Trust Value Computing Method in P2P System -- Trusted Priority Control Design...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Choreographies -- Resolving Business Process Interference via Dynamic Reconfiguration -- Linked Data and Service...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Telematics Services -- An Efficient ICI Cancellation Method for Cooperative STBC-OFDM Systems -- Low-Cost Two...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “...Search Computing: Addressing Complex Search on the Web -- Hypergraph-Theoretic Partitioning Models...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Interference -- Smart Instant Messenger in Pervasive Computing Environments -- Session 2: Grid Scheduling...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... -- An Improved DNA Computing Method for Elevator Scheduling Problem -- Campus Network Operation and Maintenance...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Sampling Component of the Dendritic Cell Algorithm -- FDCM: A Fuzzy Dendritic Cell Method -- Modular RADAR...”
Få fuldtekst

Electronisk eBog

Frontier and Innovation in Future Computing and Communications

Udgivet 2014

Indholdsfortegnelse: “...- The Digital Video Frame Obfuscation Method in Consideration of Human Visual System for Intellectual Property...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... Method -- Comparison of SPIHT, Classical and Adaptive Lifting Scheme for Compression of Satellite...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning