1395 search results - page 74 / 279 » Incremental Construction Approach for Distributed System Spe... |
111
click to vote
ESM
2000
15 years 2 months ago
2000
We are located in the context of the simulation of complex industrial systems, which are distributed in geographical, decisional and informational terms. This paper is divided int...
121
click to vote
DAC
1999
ACM
15 years 5 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
140
click to vote
CBSE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
89
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
— In this paper, differential unitary space-time coding and non-coherent space-time coding for the training based approach of Kim and Tarokh are addressed. For this approach, nec...
116
click to vote
ENTCS
2007
15 years 1 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...