69 search results - page 13 / 14 » Formal Semantics of a VDM Extension for Distributed Embedded... |
123
Voted
ASE
2006
15 years 3 months ago
2006
Recently, more attention is paid to the researches and practices on how to use software architecture in software maintenance and evolution to reduce their complexity and cost. The ...
146
Voted
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
126
Voted
SAC
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
137
Voted
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
145
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...