925 search results - page 60 / 185 » Typing Component-Based Communication Systems |
CSMR
2008
IEEE
13 years 11 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
RSP
1999
IEEE
14 years 2 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
P2P
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we propose fully distributed trustbased policies for p2p systems to regulate the exchange of different type of services and discourage misbehaviour. In a system of p...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper proposes a new type of Information/Communication system or Inquiry System to support the investigation by large groups (e.g. thousands of people) of complex topics abou...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
— We address the problem of radio resource allocation in the Downlink (DL) of a cellular system with Relay Stations (RS), based on Orthogonal Frequency Division Multiple Access (...