20126 search results - page 3292 / 4026 » Timed Transition Systems |
204
click to vote
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
MapReduce offers a flexible programming model for processing and generating large data sets on dedicated resources, where only a small fraction of such resources are every unavaila...
175
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...
215
click to vote
HASKELL
2008
ACM
15 years 8 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
249
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
In emerging Web2.0 applications such as virtual worlds or social networking websites, the number of users is very important (tens of thousands), hence the amount of data to manage...
227
click to vote
CISIS
2007
IEEE
15 years 7 months ago
2007
IEEE
Problem determination in today's computing environments consumes between 30 and 70% of an organization’s IT resources and represents from one third to one half of their tot...