Sökresultat - interface specification program program computing (https or http)

1

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
Hämta fulltext

Elektronisk E-bok

2

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

Publicerad 2010

Innehållsförteckning: “...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”
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

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor...

Publicerad 2014

Innehållsförteckning: “....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”
Hämta fulltext

Elektronisk E-bok

5

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... -- From Authorization Logics to Types for Authorization -- Interface Types for Haskell -- Exception...”
Hämta fulltext

Elektronisk E-bok

6

Patterns, Programming and Everything

Publicerad 2012

Innehållsförteckning: “... Programs -- Formal Specification as High-Level Programming: The ASSL Approach -- Atomicity in Real-time...”
Hämta fulltext

Elektronisk E-bok

7

Towards the Internet of Services: The THESEUS Research Program

Publicerad 2014

Innehållsförteckning: “... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”
Hämta fulltext

Elektronisk E-bok

8

ECOOP - Object-Oriented Programming 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... User -- Programs and Predicates -- Validity Invariants and Effects -- Non-null References by Default...”
Hämta fulltext

Elektronisk E-bok

9

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Publicerad 2005

Innehållsförteckning: “... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”
Hämta fulltext

Elektronisk E-bok

10

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”
Hämta fulltext

Elektronisk E-bok

11

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Publicerad 2005

Innehållsförteckning: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Hämta fulltext

Elektronisk E-bok

12

Interactive Systems. Design Specification, and Verification 12th International Workshop, DSVIS 2005...

Publicerad 2006

Innehållsförteckning: “... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”
Hämta fulltext

Elektronisk E-bok

13

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers /

Publicerad 2007

Innehållsförteckning: “... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...”
Hämta fulltext

Elektronisk E-bok

14

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”
Hämta fulltext

Elektronisk E-bok

15

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Features -- The Drawing Carousel: A Pair Programming Experience -- Agile Development with Domain Specific...”
Hämta fulltext

Elektronisk E-bok

16

Guide to Assembly Language Programming in Linux

av Dandamudi, Sivarama P., Dandamudi, Sivarama P.
Publicerad 2005

Innehållsförteckning: “...Overview -- Assembly Language -- Computer Organization -- Digital Logic Circuits -- Memory...”
Hämta fulltext

Elektronisk E-bok

17

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification...”
Hämta fulltext

Elektronisk E-bok

18

Model-Driven Development of Advanced User Interfaces

Publicerad 2011

Innehållsförteckning: “...1. Introduction -- 2. Architectures and Environments for the Generation of User Interfaces -- 2.1.1...”
Hämta fulltext

Elektronisk E-bok

19

Expert Oracle JDBC Programming

av Menon, R.M., Menon, R.M.
Publicerad 2005

Innehållsförteckning: “... Weakly Typed Struct Objects -- Using Strongly Typed Interfaces with JPublisher -- Using Oracle...”
Hämta fulltext

Elektronisk E-bok

20

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies /

av Popovici, Katalin., Popovici, Katalin., Rousseau, Frédéric., Jerraya, Ahmed A., Wolf, Marilyn.
Publicerad 2010

Ämnen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen