5200 search results - page 836 / 1040 » Symbolic models for control systems |
180
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
This research investigates the automation of security assessment of the static and dynamic properties of cyberinfrastructures, with emphasis on the electrical power grid. We descr...
228
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
The topological properties of a network directly impact the flow of information through a system. For example, in natural populations, the network of inter-individual contacts aff...
169
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
211
click to vote
SSS
2007
Springer
16 years 1 months ago
2007
Springer
We present a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC)[?]. TrustedPals allows to reduce SMC to the probl...
253
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— A collection of Grid computing resources interconnected by an application-configurable network of lightpaths is called a LambdaGrid. It provides data-intensive applications wit...