2137 search results - page 377 / 428 » Proving Abstract Non-interference |
115
Voted
TOPLAS
2010
15 years 21 days ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
104
Voted
VC
2010
15 years 21 days ago
2010
Abstract When designing novel algorithms for geometric processing and analysis, researchers often assume that the input conforms to several requirements. On the other hand, polygon...
222
click to vote
WASA
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. Due to the large-scale ad hoc deployments and wireless interference, data aggregation is a fundamental but time consuming task in wireless sensor networks. This paper foc...
107
click to vote
WRLA
2010
15 years 20 days ago
2010
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...
139
click to vote
DLOG
2010
15 years 10 days ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...