9503 search results - page 368 / 1901 » Authenticated System Calls |
244
click to vote
CAV
2012
Springer
13 years 10 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
194
click to vote
ICIP
1999
IEEE
16 years 9 months ago
1999
IEEE
A dedicated hardware system is developed for a recent class of nonlinear hybrid filters called Order StatisticsRational Hybrid Filters (OSRHF). The performance of these filters is...
311
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Recently, a number of main memory algorithms for detecting the changes to XML data have been proposed. These approaches are not suitable for detecting changes to large XML documen...
177
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
204
click to vote
CBMS
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we present a content-based image retrieval (CBIR) system called MammoSVD. This CBIR system is developed based on breast density – fatty or dense, and the database...