Sciweavers

1365 search results - page 56 / 273
» Maximal Causality Analysis
Sort
View
96
Voted
HYBRID
2009
Springer
15 years 7 months ago
Safe and Secure Networked Control Systems under Denial-of-Service Attacks
Abstract. We consider the problem of security constrained optimal control for discrete-time, linear dynamical systems in which control and measurement packets are transmitted over ...
Saurabh Amin, Alvaro A. Cárdenas, Shankar S...
89
Voted
GEOS
2005
Springer
15 years 6 months ago
Processes and Events in Dynamic Geo-Networks
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
Antony Galton, Michael F. Worboys
95
Voted
DATE
2000
IEEE
121views Hardware» more  DATE 2000»
15 years 5 months ago
Composite Signal Flow: A Computational Model Combining Events, Sampled Streams, and Vectors
The composite signal flow model of computation targets systems with significant control and data processing parts. It builds on the data flow and synchronous data flow models ...
Axel Jantsch, Per Bjuréus
ESOP
2000
Springer
15 years 4 months ago
Secure Information Flow as Typed Process Behaviour
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Y...
99
Voted
IJMTM
2007
147views more  IJMTM 2007»
15 years 18 days ago
Value chain modelling using system dynamics
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....
Thomas Speller, Luis Rabelo, Albert Jones