5255 search results - page 887 / 1051 » Formal Methods for Privacy |
170
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
260
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Preserving individual privacy when publishing data is a problem that is receiving increasing attention. According to the k-anonymity principle, each release of data must be such th...
133
click to vote
KDD
2009
ACM
2009
ACM
Classification of software behaviors for failure detection: a discriminative pattern mining approach
16 years 4 months ago
Software is a ubiquitous component of our daily life. We often depend on the correct working of software systems. Due to the difficulty and complexity of software systems, bugs an...
136
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
Open source projects are gradually incorporating usability methods into their development practices, but there are still many unmet needs. One particular need for nearly any open ...
230
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Service providers like Google and Amazon are moving into the SaaS (Software as a Service) business. They turn their huge infrastructure into a cloud-computing environment and aggr...