4350 search results - page 821 / 870 » Case studies for contract-based systems |
137
click to vote
ESE
2006
15 years 4 months ago
2006
As developers modify software entities such as functions or variables to introduce new features, enhance old ones, or fix bugs, they must ensure that other entities in the software...
140
click to vote
CN
2007
15 years 4 months ago
2007
As ICT services are becoming more ubiquitous and mobile and access technologies grow to be more heterogeneous and complex, we are witnessing the increasing importance of two relat...
138
click to vote
SIAMSC
2008
15 years 3 months ago
2008
We study preconditioners for the iterative solution of the linear systems arising in the implicit time integration of the compressible Navier-Stokes equations. The spatial discreti...
133
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Performance of WLANs has been extensively studied during the past few years. While the focus has mostly been on isolated cells, the coverage of WLANs is in practice most often rea...
146
click to vote
IJWIS
2007
15 years 3 months ago
2007
Streams of data often originate from many distributed sources. A distributed stream processing system publishes such streams of data and enables queries over the streams. This allo...