7134 search results - page 289 / 1427 » A comparative study of map use |
160
click to vote
ITCC
2005
IEEE
16 years 4 days ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
183
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
170
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
we propose a repository to characterize OO evolution problematic. The two main objectives are to characterize object evolution according to its own features, and to uniformly analy...
170
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe AudioCave, an environment for exploring the impact of spatialising sonified graphs on a set of numerical data comprehension tasks. Its design builds on findings regard...
139
click to vote
PDPTA
2004
15 years 8 months ago
2004
In this paper we present a flow control algorithm designed to improve the performance of ATM network and to gain higher throughput by guaranteeing negotiated cell loss ratio (CLR)...