4356 search results - page 91 / 872 » Communicating Transactions - (Extended Abstract) |
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
We have developed a general denition of segregation in the context of Z system specications. This denition is general enough to allow multi-way communications between otherwise seg...
MMNS
2001
14 years 11 months ago
2001
Abstract. In this paper, we present a framework for supporting intelligent fault and performance management for communication networks. Belief networks are taken as the basis for k...
JANCL
2007
14 years 9 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
VTC
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— The accurate average BER calculation of an asynchronous DS-CDMA system using random spreading sequences is studied in Rayleigh fading channels. An accurate closedform e...
ASAP
2004
IEEE
15 years 1 months ago
2004
IEEE
We explain a systematic way of interfacing data-flow hardware accelerators (IP) for their ion in a system on chip. We abstract the communication behaviour of the data flow IP so a...