8644 search results - page 234 / 1729 » On the Composition of Secure Systems |
174
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
192
click to vote
EMSOFT
2004
Springer
16 years 2 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
205
click to vote
IEEESCC
2005
IEEE
16 years 8 days ago
2005
IEEE
The Service Oriented Architecture (SOA) provides a methodology for designing software systems by integrating loosely coupled services. Compared to traditional distributed object-o...
190
click to vote
FCT
1999
Springer
15 years 11 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
198
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...