1368 search results - page 256 / 274 » Personality-Based Practical Reasoning |
124
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
120
click to vote
EMISA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
133
click to vote
FMICS
2006
Springer
15 years 5 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 ...
129
click to vote
KDD
2000
ACM
15 years 5 months ago
2000
ACM
Many important problems involve clustering large datasets. Although naive implementations of clustering are computationally expensive, there are established efficient techniques f...
120
click to vote
DBPL
1995
Springer
15 years 5 months ago
1995
Springer
We study the problem of maintaining recursively-de ned views, such as the transitive closure of a relation, in traditional relational languages that do not have recursion mechanis...