2025 search results - page 246 / 405 » Minimal-Cut Model Composition |
142
Voted
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
152
click to vote
EWSA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Documenting software architectures is a key aspect to achieve success when communicating the architecture to different stakeholders. Several architectural views have been...
131
click to vote
RELMICS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
181
Voted
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
142
click to vote
CONCUR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...