3424 search results - page 419 / 685 » Building Diverse Computer Systems |
117
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
This paper addresses the problem of extracting coarse-grained parallelism from large sequential code. It builds on BOP, a system for software speculative parallelization. BOP lets...
134
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
In general, provenance of electronic data represents an important issue in information systems. So far, Serviceoriented Computing research has mainly focused on provenance of data...
139
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
120
click to vote
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
179
click to vote
AIMS
2008
Springer
15 years 10 months ago
2008
Springer
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...