7602 search results - page 1273 / 1521 » A New Approach to Base Revision |
227
click to vote
SPIN
2004
Springer
16 years 4 hour ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
184
click to vote
VLDB
2004
ACM
16 years 2 hour ago
2004
ACM
This paper presents a novel and complementary technique to optimize an XPath query by minimizing its wildcard steps. Our approach is based on using a general composite axis called...
162
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Numerous privacy models based on the k-anonymity property have been introduced in the last few years. While differing in their methods and quality of their results, they all focus...
160
click to vote
ANSS
2003
IEEE
15 years 12 months ago
2003
IEEE
As the average bandwidth capacity is increasing, users around the world demand for shorter service time. While the servers are able to acquire more bandwidth, they can not keep up...
181
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...