519 search results - page 48 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
109
click to vote
ESORICS
2002
Springer
16 years 3 days ago
2002
Springer
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
86
Voted
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
The XML support in relational databases and the SQL/XML language are still relatively new as compared to purely relational databases and traditional SQL. Today, most database user...
125
click to vote
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
94
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
118
Voted
WCRE
2008
IEEE
15 years 7 months ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...