Formalizing Design Spaces: Implicit Invocation Mechanisms

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-54834-3_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Implicit Invocation Meets Safe, Implicit Concurrency

English

Model Checking Implicit-Invocation Systems

English

Configuration-Level Programming of Distributed Applications Using Implicit Invocation

English

A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems

2004English

Design Flow Management: More Than Convenient Tool Invocation

1995English

Invocation

Symposium - International Astronomical Union
1985English

An Approach for Modeling and Formalizing SOA Design Patterns

2013English

An Implicit Function Theorem in Banach Spaces

Pacific Journal of Mathematics
Mathematics
1979English

Discovering Implicit Constraints in Design

Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM
IndustrialArtificial IntelligenceManufacturing Engineering
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy