1255 search results - page 38 / 251 » A Proof Environment for the Development of Group Communicati... |
ENTCS
2007
13 years 8 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Mobile communication systems based on DS-CDMA suffer from multiple access interference (MAI), which limits the system capacity. Several techniques, such as beamforming with mul...
ATC
2007
Springer
14 years 3 months ago
2007
Springer
We present a system architecture for trusted transactions in highly sensitive environments. This architecture takes advantage of techniques provided by the Trusted Computing Group ...
WOA
2003
13 years 10 months ago
2003
— We adopt a form of group communication, called channeled multicast, for active rooms and other scenarios featuring strict real-time requirements, inherently unreliable communic...
ICSE
1989
IEEE-ACM
14 years 25 days ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...