4798 search results - page 306 / 960 » Time for a change |
152
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
To measure the productivity gained from computer-based authoring systems, account must be taken of changes in the way the work is organised. An analysis of economists' author...
166
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
197
click to vote
ICC
2000
IEEE
15 years 10 months ago
2000
IEEE
The logical configuration of a WDM network can be changed by reassigning wavelengths to tunable transceivers of nodes. In this paper, we develop reconfiguration algorithms to obtai...
168
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Over the past decade software architecture has received increasing attention as an important subfield of software engineering. During that time there has been considerable progres...
157
click to vote
ICALP
1995
Springer
15 years 10 months ago
1995
Springer
We consider the problem of preprocessing an n-vertex digraph with real edge weights so that subsequent queries for the shortest path or distance between any two vertices can be efï...