1
Pubblicazione 2013
Sommario: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Testo
Elettronico eBook
2
Pubblicazione 2008
Sommario: ...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...
Testo
Elettronico eBook
3
Pubblicazione 2005
Sommario: ... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...
Testo
Elettronico eBook
4
Pubblicazione 2012
Sommario: ... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...
Testo
Elettronico eBook
5
Pubblicazione 2006
Sommario: ... -- VirtualQWERTY: Textual Communication in Virtual Reality -- Networked Heterogeneous Camera System for High...
Testo
Elettronico eBook
6
Pubblicazione 2010
Sommario: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Testo
Elettronico eBook
7
Pubblicazione 2014
Sommario: ... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ... Deformation Techniques -- Automatic Generation of Virtual Computer Rooms on the Internet Using X3D -- Stained...
Testo
Elettronico eBook
9
Pubblicazione 2007
Sommario: ... Networks -- From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science...
Testo
Elettronico eBook
10
Pubblicazione 2007
Sommario: ... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...
Testo
Elettronico eBook
11
Pubblicazione 2006
Sommario: ... SEARCH METHOD FOR FINDING A SIMPLE NASH EQUILIBRIUM -- A HERO EVOLUTIONARY ALGORITHM HYBRIDIZING FROM PSO...
Testo
Elettronico eBook
12
Pubblicazione 2013
Sommario: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
Testo
Elettronico eBook
13
Pubblicazione 2008
Sommario: ... -- Track 2: Grid Computing -- The Development of a Drug Discovery Virtual Screening Application on Taiwan...
Testo
Elettronico eBook
14
Pubblicazione 2006
Sommario: ... Interference -- Smart Instant Messenger in Pervasive Computing Environments -- Session 2: Grid Scheduling...
Testo
Elettronico eBook
15
Pubblicazione 2015
Sommario: ... Regression Approach -- Independent Component Analysis-Based Classification of Alzheimer’s Disease from...
Testo
Elettronico eBook
16
Pubblicazione 2010
Sommario: ...Poster Session 1: Stereo, Motion Analysis, and Tracking -- A Dynamic Programming Approach...
Testo
Elettronico eBook
17
Pubblicazione 2006
Sommario: ... Preference Specifications for Application Sessions -- Mobile Ad Hoc Services: Semantic Service Discovery...
Testo
Elettronico eBook
18
Pubblicazione 2010
Sommario: ... for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine...
Testo
Elettronico eBook
19
Pubblicazione 2005
Sommario: ... -- Space, Time, Mind -- Constructing Complexity -- Virtual Heritage, Reconstruction and Histories...
Testo
Elettronico eBook
20
Pubblicazione 2005
Sommario: ... -- Programming Groups of Rational Agents -- Negotiation in Multi-agent Systems -- An Abductive Framework...
Testo
Elettronico eBook