1
Published 2005
Table of Contents: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Computation -- Theory -- A Theory of System Interaction: Components, Interfaces, and Services -- Verification...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Upgrades Through Smart Component Swapping -- Exceptions in Component Interaction Protocols – Necessity...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Components Selection -- A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... in Maude -- Interactive Transformations from Object-Oriented Models to Component-Based Models -- Runtime...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ...Formal models for software components and their interaction -- Formal aspects of services, service...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... -- On Reducing Linearizability to State Reachability -- The Complexity of Synthesis from Probabilistic Components...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
View full text
Electronic eBook
11
by Kerfs, Jeremy., Kerfs, Jeremy.
Published 2011
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Robots -- Programming -- A Software Platform for Component Based RT-System Development: OpenRTM-Aist -- A...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Multiprocessor Robotic Systems -- Robot Programming by Demonstration -- Design Principles of the Component-Based...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ...Invited Papers -- MetateM: The Story so Far -- Agent-Based Computing and Programming of Agent...
View full text
Electronic eBook
17
Published 2012
Subjects: ...Computer programming....
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... the Network into a Database with Active XML -- Languages -- SuperGlue: Component Programming with Object...
View full text
Electronic eBook
19
by Faison, Ted., Faison, Ted.
Published 2006
Table of Contents: ... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...
View full text
Electronic eBook