Sciweavers

5434 search results - page 753 / 1087
» Tool support for MOLA
Sort
View
ICDCS
1999
IEEE
15 years 11 months ago
Stateful Group Communication Services
group multicasts provide a nice abstraction for communicating data reliably among group members and have been used for a variety of applications. In this paper we present Corona, ...
Radu Litiu, Atul Prakash
GIS
1999
ACM
15 years 11 months ago
Integrating Geographic Information Systems, Spatial Digital Libraries and Information Spaces for Conducting Humanitarian Assista
The GeoWorlds system integrates geographic information systems, spatial digital libraries and other information analysis, retrieval and collaboration tools. It supports multiple a...
Vished Kumar, Alejandro Bugacov, Murilo Coutinho, ...
ICSE
1999
IEEE-ACM
15 years 11 months ago
Product-Line Architectures in Industry: A Case Study
In this paper, a case study investigating the experiences from using product-line architectures is presented involving two swedish companies, Axis Communications AB and Securitas ...
Jan Bosch
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 11 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
ICSE
1998
IEEE-ACM
15 years 11 months ago
Parallel Changes in Large Scale Software Development: An Observational Case Study
An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a pro...
Dewayne E. Perry, Harvey P. Siy, Lawrence G. Votta