Αποτελέσματα αναζήτησης - semantic computing programming problem java https

1

Distributed Programming Theory and Practice /

ανά Shankar, A. Udaya., Shankar, A. Udaya.
Έκδοση 2013

Πίνακας περιεχομένων: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “...-Safe Linking of Components for Java-Like Languages -- Towards a Formal Semantics for AspectJ Weaving...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Έκδοση 2005

Πίνακας περιεχομένων: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Έκδοση 2013

Πίνακας περιεχομένων: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

Έκδοση 2010

Πίνακας περιεχομένων: “... of Generic Process Shape Types -- A Java Inspired Semantics for Transactions in SOC -- Responsive Choice...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /

Έκδοση 2012

Πίνακας περιεχομένων: “... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings /

Έκδοση 2007

Πίνακας περιεχομένων: “...A Grid Resource Broker with Network Bandwidth-Aware Job Scheduling for Computational Grids...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Ubiquitous Computing Systems Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “...Human Computer Interaction -- A Rule-Based Publish-Subscribe Message Routing System for Ubiquitous...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Grid Computing: Software Environments and Tools

Έκδοση 2006

Πίνακας περιεχομένων: “... -- Intelligent Grids -- Programming and Process -- A Grid Software Process -- Grid Programming with Java, RMI...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Έκδοση 2010

Πίνακας περιεχομένων: “...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /

Έκδοση 2008

Πίνακας περιεχομένων: “... as an Integration Concept -- Engineering Object and Agent Methodologies -- I: Programming Languages -- From Static...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers /

Έκδοση 2008

Πίνακας περιεχομένων: “... to Write Fast Numerical Code: A Small Introduction -- A Gentle Introduction to Multi-stage Programming...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... Generation from UML Models with Semantic Variation Points -- Composing Domain-Specific Languages for Wide...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Έκδοση 2010

Πίνακας περιεχομένων: “...-Time Calculus: The Causality Problem and Its Solutions -- Computing the Leakage of Information-Hiding...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης