Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
integration computing » integration competing, interaction computing, integration computer
proceedings programs » proceedings program, processing programs, procedures programs
programs java » program java, programs a, programs case
https » http
integration computing » integration competing, interaction computing, integration computer
proceedings programs » proceedings program, processing programs, procedures programs
programs java » program java, programs a, programs case
https » http
1
Udgivet 2010
Indholdsfortegnelse:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2005
Indholdsfortegnelse:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2013
Indholdsfortegnelse:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2005
Indholdsfortegnelse:
“...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”Få fuldtekst
Electronisk
eBog
5
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Udgivet 2013
Indholdsfortegnelse:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2008
Indholdsfortegnelse:
“... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2012
Indholdsfortegnelse:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2014
Indholdsfortegnelse:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2005
Indholdsfortegnelse:
“... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2005
Indholdsfortegnelse:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2006
Indholdsfortegnelse:
“... Computing Environment -- Clustering Multicast on Hypercube Network -- Checkpointing and Communication...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“... Integrated Services Networks -- Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2006
Indholdsfortegnelse:
“...Human Computer Interaction -- A Rule-Based Publish-Subscribe Message Routing System for Ubiquitous...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2005
Indholdsfortegnelse:
“...Keynote Address I -- Processor Architecture for Trustworthy Computers -- Session 1A: Energy...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2005
Indholdsfortegnelse:
“... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2005
Indholdsfortegnelse:
“... Systems -- Challenges in Programming Sensor Networks -- Regular Papers -- Distributed Proximity...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2013
Indholdsfortegnelse:
“... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2013
Indholdsfortegnelse:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2005
Indholdsfortegnelse:
“... and Portable Devices -- A File System for System Programming in Ubiquitous Computing....”Få fuldtekst
Electronisk
eBog