by
Lee, Yann-Hang. editor.
Format:
Electronic Resources
Excerpt:
Track 1: Embedded Architecture -- Track 2: Embedded Hardware -- Track 3: Embedded Software -- Track
by
Barthe, Gilles. editor.
Format:
Electronic Resources
Excerpt:
-- Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach -- Modular Proof
View Other Search Results
by
Reussner, Ralf H. editor.
Format:
Electronic Resources
Excerpt:
Component Models with Multiple Views -- Articles by Participants -- A Taxonomy on Component-Based Software
by
Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
Format:
Electronic Resources
Excerpt:
System Coordination -- Agent-Oriented Techniques -- Software Architecture -- Formal Analysis
by
Gorrieri, Roberto. editor.
Format:
Electronic Resources
Excerpt:
-- Temporal Superimposition of Aspects for Dynamic Software Architecture -- Modeling Long–Running Transactions
by
Jajodia, Sushil. editor.
Format:
Electronic Resources
Excerpt:
Architecture for Web Services -- Secure Model Management Operations for the Web -- A Credential-Based Approach
by
Kutvonen, Lea. editor.
Format:
Electronic Resources
Excerpt:
Service Compositions -- How to Implement Software Connectors? A Reusable, Abstract and Adaptable Connector
by
Ferguson, Donald. editor.
Format:
Electronic Resources
Excerpt:
Cloud Application Migration -- A Decentralized Cloud Management Architecture based on Application
by
Gavrilova, Marina L. editor.
Format:
Electronic Resources
Excerpt:
geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings
by
Mei, Hong. author.
Format:
Electronic Resources
Excerpt:
Architecture Centric Approach -- 3. On environment-driven software model for Internetware -- 4. A Software
by
Lemos, Rogério. editor.
Format:
Electronic Resources
Excerpt:
Safe Dynamic Component-Based Software Adaptation -- 3. Dependability Support for Software Architectures
by
Roy, Peter. editor.
Format:
Electronic Resources
Excerpt:
Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specifications to Oz
Limit Search Results
Narrowed by: