Searching for "Abstract Modularity." – sorted by Relevance.
-
Abstraction and Modularity Mechanisms for Concurrent Computing
- Abstraction and Modularity Mechanisms for Concurrent Computing Gul Agha, Svend Frlund, WooYoung Kim
- Cited by 62 (20 self) – Add To MetaCart
-
Abstraction and Modularity Mechanisms for Concurrent Computing
- Abstraction and Modularity Mechanisms for Concurrent Computing Gul Agha, Svend Frlund, WooYoung Kim
- Add To MetaCart
-
ABSTRACT Modular Network Trace Analysis
- ABSTRACT Modular Network Trace Analysis Wolfgang Kiess Nadine Chmill Ulrich Wittelsbürger Martin
- Add To MetaCart
-
Using Abstraction in Modular Verification of Synchronous Adaptive Systems
- Using Abstraction in Modular Verification of Synchronous Adaptive Systems Ina Schaefer and Arnd
- Cited by 2 (2 self) – Add To MetaCart
-
Poster Abstract: Modular Communication Protocols for Sensor Networks
- Poster Abstract: Modular Communication Protocols for Sensor Networks Olaf Landsiedel Jó Ágila
- Add To MetaCart
-
Abstraction and Modular Verification of Infinite-State Reactive Systems
- Abstraction and Modular Verification of Infinite-State Reactive Systems # Zohar Manna, Michael A
- Cited by 4 (1 self) – Add To MetaCart
-
Checking Synchronous Programs using Automatic Abstraction, Modular Verification and Assumption
- Checking Synchronous Programs using Automatic Abstraction, Modular Verification and Assumption
- Cited by 1 (1 self) – Add To MetaCart
-
Abstract Modular Information Hiding and Type-Safe Linking for C ∗
- Abstract Modular Information Hiding and Type-Safe Linking for C ∗ This paper presents CMOD, a
- Add To MetaCart
-
Abstract Modular Information Hiding and Type-Safe Linking for C
- Abstract Modular Information Hiding and Type-Safe Linking for C This paper presents CMOD, a novel
- Add To MetaCart
-
A front-end tool for automated abstraction and modular verification of actor-based models
- A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models Marjan
- Cited by 8 (8 self) – Add To MetaCart

