Sökresultat - interface compositive programming programming control http

Menade du:
programming programming » programming programmed , programming program
compositive programming » copositive programming , comparative programming , cooperative programming
interface compositive » interface composition , interface cognitive , interface composing
programming control » programming contract , programming contest , programming context
control http » control https , control held , control how

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

Publicerad 2006

Innehållsförteckning: “... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”
Hämta fulltext

Elektronisk E-bok

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /

Publicerad 2008

Innehållsförteckning: “... Middleware -- Component-Based Access Control: Secure Software Composition through Static Analysis -- Adding...”
Hämta fulltext

Elektronisk E-bok

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /

Publicerad 2010

Innehållsförteckning: “...A Bibliography of Willem-Paul de Roever -- Playing Savitch and Cooking Games -- Compositionality...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...”
Hämta fulltext

Elektronisk E-bok

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

Foundational Java Key Elements and Practical Programming /

av Parsons, David., Parsons, David.
Publicerad 2012

Innehållsförteckning: “..., Aggregation and Composition -- Inheritance, Polymorphism and Interfaces -- Exception handling -- Unit Testing...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Compositions for Controlled Natural Languages -- Anaphora Resolution Involving Interactive Knowledge...”
Hämta fulltext

Elektronisk E-bok

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Approach for Composition of Real-Time Embedded Software Stacks -- Bridging the Semantic Gap between...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Control from Data: User Interfaces of MIDP Applications -- Extending Operational Semantics of the Java...”
Hämta fulltext

Elektronisk E-bok

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System...”
Hämta fulltext

Elektronisk E-bok

Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... and Optimizing Graphical User Interfaces for Semantic Service Compositions -- REMM-Studio?+?: Modeling...”
Hämta fulltext

Elektronisk E-bok

Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications /

Publicerad 2005

Innehållsförteckning: “... Methodologies -- MASUP: An Agent-Oriented Modeling Process for Information Systems -- Composition of a New...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Hämta fulltext

Elektronisk E-bok

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks...”
Hämta fulltext

Elektronisk E-bok

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Control Parameters in Differential Evolution Algorithm -- A Novel Genetic Algorithm with Orthogonal...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Hämta fulltext

Elektronisk E-bok

1
2
3
4
5
Nästa »
[5]

Begränsa sökningen