3082 search results - page 506 / 617 » Deviation Analysis: A New Use of Model Checking |
152
click to vote
SP
2005
IEEE
15 years 11 months ago
2005
IEEE
An apparently prevailing myth is that safety is undecidable in Discretionary Access Control (DAC); therefore, one needs to invent new DAC schemes in which safety analysis is decid...
222
click to vote
MIR
2005
ACM
15 years 11 months ago
2005
ACM
We propose a new method for automated large scale gathering of Web images relevant to specified concepts. Our main goal is to build a knowledge base associated with as many conce...
188
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Nowadays, in the markets of broadband access services, traditional contracts are of "static" type. Customers buy the right to use a specific amount of resources...
211
click to vote
PE
2000
Springer
15 years 6 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
168
click to vote
3DIM
2005
IEEE
15 years 11 months ago
2005
IEEE
Multimedia projectors and cameras make possible the use of structured light to solve problems such as 3D reconstruction, disparity map computation and camera or projector calibrat...