5084 search results - page 298 / 1017 » Proving Possibility Properties |
154
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
A theory of stereo image formation is presented that enables a complete classification of all possible stereo views, including non-perspective varieties. Towards this end, the not...
158
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Today, the choice for a particular programming language limits the alternative products that can be used to deploy the program. The purpose of this work is to break the strong tie...
182
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Wormhole switching with fixed priority preemption has been proposed as a possible solution for real-time on-chip communication. However, none of current priority assignment pol...
164
click to vote
NDSS
2007
IEEE
16 years 28 days ago
2007
IEEE
The trend toward smaller botnets may be more dangerous than large botnets, in terms of large-scale attacks like distributed denials of service. We examine the possibility of “su...
176
click to vote
FORMATS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...