2123 search results - page 173 / 425 » Composition of Cyber-Physical Systems |
160
click to vote
CC
2000
Springer
15 years 11 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
205
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
155
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...
158
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- We consider arbitrarily many interconnected integral Input-to-State Stable (iISS) systems in an arbitrary interconnection topology and provide an (i)ISS comparison princ...
180
click to vote
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Identity Based Encryption (IBE) systems are often constructed using bilinear maps (a.k.a. pairings) on elliptic curves. One exception is an elegant system due to Cocks which build...