1054 search results - page 88 / 211 » From a Verified Kernel towards Verified Systems |
157
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Packet loss and end-to-end delay limit delay sensitive applications over the best effort packet switched networks such as the Internet. In our previous work, we have shown that...
162
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
163
click to vote
CSCW
2006
ACM
16 years 7 days ago
2006
ACM
As the number of alerts generated by collaborative applications grows, users receive more unwanted alerts. FeedMe is a general alert management system based on XML feed protocols ...
148
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper deals with privacy-preserving (pseudonymized) access to a service resource. In such a scenario, two opposite needs seem to emerge. On one side, the service provider may...
199
click to vote
BMCBI
2010
15 years 6 months ago
2010
nd: Gene regulatory network is an abstract mapping of gene regulations in living cells that can help to predict the system behavior of living organisms. Such prediction capability...