4126 search results - page 818 / 826 » Relationships with other Formalisms |
170
click to vote
INFOCOM
2010
IEEE
15 years 10 days ago
2010
IEEE
—As Cloud Computing becomes prevalent, more and more sensitive information are being centralized into the cloud. For the protection of data privacy, sensitive data usually have t...
JAIR
2010
15 years 10 days ago
2010
Because an agent’s resources dictate what actions it can possibly take, it should plan which resources it holds over time carefully, considering its inherent limitations (such a...
121
Voted
JAT
2010
15 years 10 days ago
2010
We consider H¨older smoothness classes of surfaces for which we construct piecewise polynomial approximation networks, which are graphs with polynomial pieces as nodes and edges ...
85
Voted
JCSS
2010
15 years 9 days ago
2010
When a file is to be transmitted from a sender to a recipient and when the latter already has a file somewhat similar to it, remote differential compression seeks to determine t...
132
click to vote
RV
2010
Springer
15 years 8 days ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...