Sciweavers

2112 search results - page 56 / 423
» Communication networks in geographically distributed softwar...
Sort
View
CSSE
2008
IEEE
15 years 4 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
ICSE
1995
IEEE-ACM
15 years 1 months ago
Decentralised Process Enactment in a Multi-Perspective Development Environment
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh
AIMS
2010
Springer
14 years 10 months ago
Adaptive Underwater Acoustic Communications
Underwater wireless networks consist of mobile and static nodes, which usually communicate using the acoustic channel since radio transmissions attenuate rapidly and optical commun...
Anuj Sehgal, Jürgen Schönwälder
CCGRID
2006
IEEE
15 years 3 months ago
Integrating the HLA RTI Services with Scilab
This paper describes the integration of the High Level Architecture (HLA), an IEEE standard for distributed interactive simulation, with a scientific software package (Scilab) and...
Thitima Theppaya, Pichaya Tandayya, Chatchai Janta...
ISVC
2007
Springer
15 years 4 months ago
Visualization of Resource Allocation in Large-Scale Mobile Ad Hoc Networks
Resource allocation in ad hoc communication networks is a field of high complexity because of both i) the distributed nature of the interactions between the nodes, and ii) the lar...
Alex Fridman, Daniel Hennessey, David Breen, Steve...