2106 search results - page 139 / 422 » Specifying C concepts |
181
click to vote
DBSEC
2000
15 years 7 months ago
2000
With the increasing complexity and dynamics of database and information systems, it becomes more and more di cult for administrative personnel to identify, specify and enforce sec...
188
click to vote
DLOG
2010
15 years 4 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
202
click to vote
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
150
click to vote
ICMCS
2008
IEEE
16 years 14 days ago
2008
IEEE
The automatic detection of semantic events in users’ image and video collections is an important technique for content management and retrieval. In this paper we propose a novel...
169
click to vote
IWSOS
2007
Springer
16 years 5 days ago
2007
Springer
A routing protocol is designed considering a particular environment all the time which is not possible in the case of practical ad hoc networks. Because of the uncertainty in topol...