Search Results - interactive computing programming problem contract https

1

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

Published 2005

Table of Contents: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
View full text

Electronic eBook

2

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Published 2005

Table of Contents: “... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”
View full text

Electronic eBook

3

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Published 2010

Table of Contents: “...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...”
View full text

Electronic eBook

4

Electrical Engineering and Applied Computing

Published 2011

Table of Contents: “... Identification Using Genetic Algorithms -- 2. Sequential State Computation Using Discrete Modeling -- 3...”
View full text

Electronic eBook

5

Computers and Education: Towards Educational Change and Innovation

Published 2008

Table of Contents: “... Impaired PSENs through a Computer Mediated Distance Learning Program....”
View full text

Electronic eBook

6

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Published 2012

Table of Contents: “... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...”
View full text

Electronic eBook

7

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings /

Published 2013

Table of Contents: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
View full text

Electronic eBook

8

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
View full text

Electronic eBook

9

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /

Published 2006

Table of Contents: “... -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification...”
View full text

Electronic eBook

10

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Published 2014

Table of Contents: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
View full text

Electronic eBook

11

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory...

Published 2007

Table of Contents: “... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”
View full text

Electronic eBook

12

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

13

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Published 2008

Table of Contents: “... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”
View full text

Electronic eBook

14

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Published 2014

Table of Contents: “...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...”
View full text

Electronic eBook

15

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Published 2015

Table of Contents: “... -- The Relationship between Psychological Distress and Human Computer Interaction Parameters: Linear or Non-linear...”
View full text

Electronic eBook

16

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Published 2005

Table of Contents: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
View full text

Electronic eBook

17

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Superiority Based Revision of Defeasible Theories -- On the Problem of Computing Ambiguity Propagation...”
View full text

Electronic eBook

18

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings /

Published 2010

Table of Contents: “... of Shellable Complexes to Distributed Computing -- Concurrency and Composition in a Stochastic World -- Taming...”
View full text

Electronic eBook

19

Coordination, Organizations, Institutions, and Norms in Agent Systems V COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, U...

Published 2010

Table of Contents: “... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”
View full text

Electronic eBook

20

Financial Cryptography and Data Security 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 - March 3, 2005, Revised Papers /

Published 2005

Table of Contents: “... of Private Datasets -- Hardware Oriented Mechanisms -- RFID Traceability: A Multilayer Problem -- Information...”
View full text

Electronic eBook

Narrow Search