4434 search results - page 790 / 887 » On the Composition of Hybrid Systems |
188
click to vote
ESWA
2006
15 years 6 months ago
2006
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
169
click to vote
JAR
2008
15 years 6 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
171
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— The optimal decoder achieving the outage capacity under imperfect channel estimation is investigated. First, by searching into the family of nearest neighbor decoders, which ca...
184
click to vote
INTERNET
2006
15 years 6 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
143
click to vote
ENTCS
2007
15 years 6 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...