8337 search results - page 1438 / 1668 » Reasoning With Characteristic Models |
167
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
The internet presents people with an increasingly bewildering variety of choices. Online consumers have to rely on computerized search tools to find the most preferred option in a...
129
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
IBM Community Tools (ICT) is a synchronous broadcast messaging system in use by a very large, globally distributed organization. ICT is interesting for a number of reasons, includ...
172
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
149
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
Although privacy is broadly recognized as a dominant concern for the development of novel interactive technologies, our ability to reason analytically about privacy in real settin...
270
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...