75 search results - page 14 / 15 » Differential Dynamic Logic for Hybrid Systems |
DALT
2009
Springer
13 years 8 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
IJCIM
2002
13 years 5 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
IPPS
2009
IEEE
13 years 12 months ago
2009
IEEE
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...
CLUSTER
2004
IEEE
13 years 5 months ago
2004
IEEE
This paper describes a novel technique for establishing a virtual file system that allows data to be transferred user-transparently and on-demand across computing and storage serve...