1370 search results - page 130 / 274 » Metacase Tools for Multidimensional Development of Informati... |
134
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We have developed software tools that aim to support the cooperative software engineering tasks and promote an awareness of social dependencies that is essential to successful coo...
123
Voted
ICDCS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we propose and prove correct a distributed stabilizing implementation of an overlay, called DR-tree, optimized for efficient selective dissemination of information...
128
Voted
LOBJET
2000
15 years 3 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
116
click to vote
KES
2007
Springer
15 years 9 months ago
2007
Springer
We developed a system that extracts and visualizes the network structures from relational data on spreadsheets. Visualization through network diagrams obtained from relational data...
140
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...