Search Results - interface revision programming programming control https

1

Embedded Microcontroller Interfacing Designing Integrated Projects /

by Sen Gupta, Gourab., Sen Gupta, Gourab.
Published 2010

Table of Contents: “... of Microcontroller Interfacing -- Embedded Microcontroller Based DC Motor Control: A Project Based Approach...”
View full text

Electronic eBook

2

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

Published 2005

Table of Contents: “... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”
View full text

Electronic eBook

3

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

by Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Published 2012

Table of Contents: “... programming.-MPI - Message Passing Interface.-OpenMP.-Coarray Fortran.-C Interop.-ISO TR 15580 — IEEE...”
View full text

Electronic eBook

4

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings /

Published 2008

Table of Contents: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
View full text

Electronic eBook

5

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

Published 2012

Table of Contents: “... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”
View full text

Electronic eBook

6

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

by Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Published 2015

Table of Contents: “... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
View full text

Electronic eBook

7

Controlled Natural Language Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers /

Published 2010

Table of Contents: “... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...”
View full text

Electronic eBook

8

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers /

Published 2007

Table of Contents: “...Invited Paper -- Meta-User Interfaces for Ambient Spaces -- Tool Support -- Tool Support...”
View full text

Electronic eBook

9

Software Composition 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers /

Published 2006

Table of Contents: “... Calculus of Dynamic Binding: Reduction and Properties -- Tracechecks: Defining Semantic Interfaces...”
View full text

Electronic eBook

10

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “... Control from Data: User Interfaces of MIDP Applications -- Extending Operational Semantics of the Java...”
View full text

Electronic eBook

11

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
View full text

Electronic eBook

12

More Joel on Software Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, W...

by Spolsky, Avram Joel., Spolsky, Avram Joel.
Published 2008

Table of Contents: “... -- Three Management Methods (Introduction) -- The Command and Control Management Method -- The Econ 101...”
View full text

Electronic eBook

13

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /

Published 2014

Table of Contents: “... control, resource usage, and adaptation: A practical approach -- Safe orchestration of Web services...”
View full text

Electronic eBook

14

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Published 2007

Table of Contents: “... Throttle Controller Using the Timed Abstract State Machine Language and Toolset -- Model Checking of UML...”
View full text

Electronic eBook

15

Models in Software Engineering Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /

by Giese, Holger., Giese, Holger.
Published 2008

Table of Contents: “... Ways to Define Domain Specific Languages -- Model Driven Development of Advanced User Interfaces...”
View full text

Electronic eBook

16

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

Published 2008

Table of Contents: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
View full text

Electronic eBook

17

Beginning HTML5 Media Make the most of the new video and audio standards for the Web /

by Pfeiffer, Silvia., Pfeiffer, Silvia., Green, Tom.
Published 2015

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

18

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /

Published 2008

Table of Contents: “... Control in Large Stochastic Multi-agent Systems -- Continuous-State Reinforcement Learning with Fuzzy...”
View full text

Electronic eBook

19

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
View full text

Electronic eBook

20

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Identity Management Based on Privacy Attribute Ontology -- Process mgt and Design -- Beyond Control-Flow...”
View full text

Electronic eBook

Narrow Search