Searching for "Concurrency in Software Systems." – sorted by Relevance.
138 documents found, showing 1 through 10.
Next 10 →
-
Agent Models for Concurrent Software Systems
- …Agent Models for Concurrent Software Systems Lawrence Cabac, Till Dörges, Michael Duvigneau…
- Add To MetaCart
-
Modular and Incremental Analysis of Concurrent Software Systems
- …Modular and Incremental Analysis of Concurrent Software Systems Abstract Modularization…
- Cited by 15 (1 self) – Add To MetaCart
-
Modular and Incremental Analysis of Concurrent Software Systems
- …Modular and Incremental Analysis of Concurrent Software Systems In proceedings of the 14th IEEE…
- Add To MetaCart
-
Parallel Finite Automata for Modeling Concurrent Software Systems
- …Parallel Finite Automata for Modeling Concurrent Software Systems P. David Stotts William Pugh…
- Cited by 2 (0 self) – Add To MetaCart
-
Extending FLAVERS to Check Properties on Infinite Executions of Concurrent Software Systems
- …Extending FLAVERS to Check Properties on Innite Executions of Concurrent Software Systems Gleb…
- Cited by 3 (1 self) – Add To MetaCart
-
Composing Concerns with a Framework Approach
- …Abstract Composing Concerns with a Framework Approach As concurrent software systems become larger…
- Cited by 2 (0 self) – Add To MetaCart
-
Extending the Object Model to Provide Explicit Support for Crosscutting Concerns
- … tedious process. In this paper we discuss issues related with requirements of concurrent software systems…
- Cited by 6 (3 self) – Add To MetaCart
-
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems
- …Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems Genaína…
- Cited by 1 (1 self) – Add To MetaCart
-
The Methodology of Modal Constraints
- … Problem, by applying a constraint-oriented state-based proof methodology for concurrent software systems…
- Cited by 2 (0 self) – Add To MetaCart
-
Concurrent BLAST
- … of concurrent software systems described in the C language. This is achieved by modifying the internal…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
