2089 search results - page 267 / 418 » Finding Environment Guarantees |
167
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We consider an environment where distributed data sources continuously stream updates to a centralized processor that monitors continuous queries over the distributed data. Signif...
142
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
164
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Recently, many projects have been started to introduce some real-time mechanisms into general purpose operating systems (GPOS) in order to make them capable of providing the users...
175
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Modern development environments support refactoring by providing atomically behaviour-preserving transformations. While useful, these transformations are limited in three ways: (i)...
192
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
CPU utilization control has recently been demonstrated to be an effective way of meeting end-to-end deadlines for distributed real-time systems running in unpredictable environmen...