2089 search results - page 267 / 418 » Finding Environment Guarantees |
139
click to vote
SIGMOD
2003
ACM
16 years 4 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...
121
Voted
ESORICS
2002
Springer
16 years 4 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...
123
click to vote
SAC
2009
ACM
15 years 11 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...
137
click to vote
ECOOP
2009
Springer
15 years 11 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)...
150
click to vote
RTAS
2009
IEEE
15 years 11 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...