8644 search results - page 388 / 1729 » On the Composition of Secure Systems |
265
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...
206
click to vote
DATE
2003
IEEE
16 years 26 days ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
177
click to vote
PAPM
2001
Springer
16 years 14 hour ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
199
click to vote
ESOP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
194
Voted
ICEBE
2007
IEEE
15 years 11 months ago
2007
IEEE
The service mediation that decouples service interactions is the foundation to support the service composition. The early service mediations are keyword and value-based, which req...