5639 search results - page 17 / 1128 » Timed Abstract Non-interference |
PAAMS
2010
Springer
14 years 7 months ago
2010
Springer
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...
60
Voted
RTCSA
2009
IEEE
15 years 4 months ago
2009
IEEE
63
Voted
CCA
2009
Springer
15 years 4 months ago
2009
Springer
d Abstract) Robert Rettinger1 Department of Mathematics and Computer Science University of Hagen, Germany Abstract. We show that under reasonable assumptions there exist Riemann ma...
62
Voted
WCET
2008
14 years 11 months ago
2008
stract Execution Jan Gustafsson and Andreas Ermedahl M
SIAMNUM
2010
14 years 4 months ago
2010
This paper deals with error estimates for space-time discretizations in the context of nary variational inequalities of rate-independent type. After introducing a general abstract ...