517 search results - page 7 / 104 » Optimizing the Implementation of Communication in Synchronou... |
FUIN
2008
13 years 6 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
FMCO
2003
Springer
13 years 12 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
ENTCS
1998
13 years 6 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
ISCC
2003
IEEE
13 years 12 months ago
2003
IEEE
This paper focuses on the implementation of heterogeneous Mobile Ad Hoc networks (MANET). A heterogeneous MANET is a wireless network setting without a fixed infrastructure where...
ACSD
2006
IEEE
14 years 23 days ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...