2796 search results - page 491 / 560 » A time structure based software reliability model |
164
click to vote
ICDE
2010
IEEE
16 years 10 days ago
2010
IEEE
— In this paper we propose PARINET, a new access method to efficiently retrieve the trajectories of objects moving in networks. The structure of PARINET is based on a combination...
137
click to vote
VISUALIZATION
2002
IEEE
15 years 10 months ago
2002
IEEE
For quantitative examination of phenomena that simultaneously occur on very different spatial and temporal scales, adaptive hierarchical schemes are required. A special numerical ...
164
click to vote
MANSCI
2011
14 years 8 months ago
2011
Many revenue management (RM) industries are characterized by (a) fixed capacities in the short term (e.g., hotel rooms, seats on an airline flight), (b) homogeneous products (e....
167
click to vote
PVLDB
2008
15 years 4 months ago
2008
Time series data is common in many settings including scientific and financial applications. In these applications, the amount of data is often very large. We seek to support pred...
147
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...