5639 search results - page 439 / 1128 » Timed Abstract Non-interference |
136
click to vote
COCO
2010
Springer
15 years 8 months ago
2010
Springer
Abstract—We consider two natural extensions of the communication complexity model that are inspired by distributed computing. In both models, two parties are equipped with synchr...
135
Voted
ANOR
2008
15 years 4 months ago
2008
Abstract We consider the problem of coordinating the operations of two supply chain partners: a foreign shipping company and a domestic port. The two partners have conflicting busi...
142
click to vote
ALGORITHMICA
1998
15 years 4 months ago
1998
Abstract. We study some minimum-area hull problems that generalize the notion of convex hull to starshaped and monotone hulls. Specifically, we consider the minimum-area star-shap...
147
click to vote
DSONLINE
2006
15 years 4 months ago
2006
We propose extending these middleware approaches with suitable abstractions to better support protocolbased interaction in mobile applications. To test our approach, we created Obj...
134
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...