Sciweavers

4196 search results - page 41 / 840
» Supporting the development of network programs
Sort
View
MMB
1999
Springer
249views Communications» more  MMB 1999»
15 years 6 months ago
A Development Platform for the Design and Optimization of Mobile Radio Networks
The rapidly increasing traffic demand from mobile users forces network operators and service providers to extend and optimize existing networks as well as to plan entirely new mo...
Jürgen Deissner, Gerhard Fettweis, Jörg ...
ICFEM
2004
Springer
15 years 7 months ago
A Formal Monitoring-Based Framework for Software Development and Analysis
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
IATA
1998
Springer
15 years 6 months ago
Development of a Multi-Agent System for Cooperative Work with Network Negotiation Capabilities
This paper describes the architecture and operation of a Multi Agent system for providing end users with an intelligent interface for video conference and cooperative work services...
Francisco J. Garijo, Juan Tous, José M. Mat...
DASFAA
2011
IEEE
270views Database» more  DASFAA 2011»
14 years 5 months ago
AutoBayesian: Developing Bayesian Networks Based on Text Mining
Bayesian network is a widely used tool for data analysis, modeling and decision support in various domains. There is a growing need for techniques and tools which can automatically...
Sandeep Raghuram, Yuni Xia, Jiaqi Ge, Mathew Palak...
ICSE
2011
IEEE-ACM
14 years 5 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...