בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
interactive computing » interactive computer
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding programs » processing programs, proceedings program, breeding programs
programs contracts » programs constraints, programme contract, programs contents
https » http
interactive computing » interactive computer
computing proceeding » computing proceedings, computing providing, computing protecting
proceeding programs » processing programs, proceedings program, breeding programs
programs contracts » programs constraints, programme contract, programs contents
https » http
1
יצא לאור 2014
תוכן הענינים:
“...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים:
“... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2013
תוכן הענינים:
“... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2005
תוכן הענינים:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2007
תוכן הענינים:
“... Points -- Obligations and Their Interaction with Programs -- Applied Cryptography III -- On the Privacy...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים:
“... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2012
תוכן הענינים:
“... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2008
תוכן הענינים:
“... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2007
תוכן הענינים:
“... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2015
תוכן הענינים:
“... Evolutionary Algorithm Based on Decomposition and Contraction for Many-objective Optimization Problems -- Cell...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2014
תוכן הענינים:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים:
“...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2015
תוכן הענינים:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2013
תוכן הענינים:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2005
תוכן הענינים:
“... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... of Shellable Complexes to Distributed Computing -- Concurrency and Composition in a Stochastic World -- Taming...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2010
תוכן הענינים:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2014
תוכן הענינים:
“... for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני