821 search results - page 142 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
106
click to vote
FLAIRS
2006
15 years 1 months ago
2006
In real-life decision analysis, the probabilities and values of consequences are in general vague and imprecise. One way to model imprecise probabilities is to represent a probabi...
102
Voted
TCAD
2008
14 years 11 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
125
click to vote
ICDE
2005
IEEE
15 years 5 months ago
2005
IEEE
Many location-based applications require constant monitoring of k-nearest neighbor (k-NN) queries over moving objects within a geographic area. Existing approaches to this problem...
ISBI
2008
IEEE
16 years 14 days ago
2008
IEEE
Visualization and analysis of the micro-architecture of brain parenchyma by means of magnetic resonance imaging is nowadays believed to be one of the most powerful tools used for ...
100
click to vote
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—P2P (peer-to-peer) technology has proved itself an efficient and cost-effective solution to support large-scale multimedia streaming. Different from traditional P2P application...