Sökresultat - interactive computing proceeding ((programmed java) OR (program java)) https

1

Beginning Android Web Apps Development Develop for Android using HTML5, CSS3, and JavaScript /

av Westfall, Jon., Westfall, Jon., Augusto, Rocco., Allen, Grant.
Publicerad 2012

Ämnen: “...Computer programming....”
Hämta fulltext

Elektronisk E-bok

2

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Publicerad 2010

Innehållsförteckning: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Hämta fulltext

Elektronisk E-bok

3

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Publicerad 2012

Innehållsförteckning: “... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”
Hämta fulltext

Elektronisk E-bok

4

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”
Hämta fulltext

Elektronisk E-bok

5

ECOOP 2008 - Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...”
Hämta fulltext

Elektronisk E-bok

6

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene...

Publicerad 2008

Innehållsförteckning: “... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2005

Innehållsförteckning: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Hämta fulltext

Elektronisk E-bok

8

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”
Hämta fulltext

Elektronisk E-bok

9

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”
Hämta fulltext

Elektronisk E-bok

10

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2006

Innehållsförteckning: “...Human Computer Interaction -- A Rule-Based Publish-Subscribe Message Routing System for Ubiquitous...”
Hämta fulltext

Elektronisk E-bok

12

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2006

Innehållsförteckning: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
Hämta fulltext

Elektronisk E-bok

14

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Hämta fulltext

Elektronisk E-bok

15

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Publicerad 2007

Innehållsförteckning: “... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...”
Hämta fulltext

Elektronisk E-bok

16

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /

Publicerad 2010

Innehållsförteckning: “...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...”
Hämta fulltext

Elektronisk E-bok

17

Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Interpretation -- The Java Context Awareness Framework (JCAF) – A Service Infrastructure and Programming...”
Hämta fulltext

Elektronisk E-bok

18

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”
Hämta fulltext

Elektronisk E-bok

19

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
Hämta fulltext

Elektronisk E-bok

20

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen