1397 search results - page 216 / 280 » On the Need for Practical Formal Methods |
159
click to vote
TMM
2010
14 years 11 months ago
2010
Abstract--The automatic discovery of group conversational behavior is a relevant problem in social computing. In this paper, we present an approach to address this problem by defin...
231
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
We consider a privacy threat to a social network in which the goal of an attacker is to obtain knowledge of a significant fraction of the links in the network. We formalize the ty...
234
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...
258
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
149
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
This paper describes a prototype that predicts the shopping lists for customers in a retail store. The shopping list prediction is one aspect of a larger system we have developed ...