114 search results - page 18 / 23 » Design and Verification of Distributed Multi-media Systems |
PEWASUN
2004
ACM
14 years 27 days ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...
SIGSOFT
2006
ACM
14 years 1 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
DAGSTUHL
2008
13 years 9 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...