1406 search results - page 163 / 282 » Information Flow in Systems with Schedulers |
178
click to vote
MIDDLEWARE
2007
Springer
16 years 14 days ago
2007
Springer
Scheduling parallel and distributed applications efficiently onto grid environments is a difficult task and a great variety of scheduling heuristics have been developed aiming to ...
139
click to vote
DAWAK
2008
Springer
15 years 8 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
159
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
248
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper describes Orchid, a system that converts declarative mapping specifications into data flow specifications s) and vice versa. Orchid provides an abstract operator model t...
135
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
We have used two cameras and a SensAble Technologies "Phantom" force-feedback haptic display to haptically render a three-dimensional surface that represents key aspects...